Article PDF
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Wiedijk, F. “Handbook of Practical Logic and Automated Reasoning,” by John R. Harrison, Cambridge University Press, 2009. J Autom Reasoning 49, 107–109 (2012). https://doi.org/10.1007/s10817-012-9251-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-012-9251-8