Review of "Logic in Computer Science: Modelling and reasoning about systems" by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press 2000

2001

Additional Metadata
Journal	InterChange - Newsletter of the International SGML/XML Users' Group
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	van Raamsdonk, F. (2001). Review of "Logic in Computer Science: Modelling and reasoning about systems" by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press 2000. InterChange - Newsletter of the International SGML/XML Users' Group, 1–3.

Publication