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

Research output: Contribution to Journal › Book/Film/Article review › Academic

Original language	Undefined/Unknown
Journal	ACM Transactions on Computational Logic
Publication status	Published - 2000

Handle.net

@article{c31b4a7a7235465bbfaeecfbf3cb3b08,

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

author = "{van Raamsdonk}, F.",

year = "2000",

language = "Undefined/Unknown",

journal = "ACM Transactions on Computational Logic",

issn = "1529-3785",

publisher = "Association for Computing Machinery (ACM)",

}