Advertisement

Journal of Automated Reasoning

, Volume 49, Issue 1, pp 107–109 | Cite as

“Handbook of Practical Logic and Automated Reasoning,” by John R. Harrison, Cambridge University Press, 2009

  • Freek Wiedijk
Open Access
Article

Copyright information

© The Author(s) 2012

Authors and Affiliations

  1. 1.Institute for Computing and Information SciencesRadboud University NijmegenNijmegenThe Netherlands

Personalised recommendations