Book review [Review of: K.R. Apt (2000) Logic in Computer Science: modelling and reasoning about systems]

Research output: Contribution to JournalBook/Film/Article/Exhibition reviewAcademic

Original languageUndefined/Unknown
JournalACM Transactions on Computational Logic
Publication statusPublished - 2000

Cite this