Review of "Handbook of Practical Logic and Automated Reasoning," by John R. Harrison, Cambridge University Press, 2009. Wiedijk, F. Journal of Automated Reasoning, 49(1):107–109, 2012.
![Review of "Handbook of Practical Logic and Automated Reasoning," by John R. Harrison, Cambridge University Press, 2009 [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @article{freek2012c,
Author = {Freek Wiedijk},
Date-Added = {2014-11-16 23:15:51 +0000},
Date-Modified = {2014-11-16 23:18:03 +0000},
Journal = {Journal of Automated Reasoning},
Number = {1},
Pages = {107--109},
Title = {Review of "Handbook of Practical Logic and Automated Reasoning," by John R. Harrison, Cambridge University Press, 2009},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/review.pdf},
Volume = {49},
Year = {2012}}Downloads: 0
{"_id":"ceY8EA63Pb3yactmW","bibbaseid":"wiedijk-reviewofhandbookofpracticallogicandautomatedreasoningbyjohnrharrisoncambridgeuniversitypress2009-2012","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"date-added":"2014-11-16 23:15:51 +0000","date-modified":"2014-11-16 23:18:03 +0000","journal":"Journal of Automated Reasoning","number":"1","pages":"107–109","title":"Review of \"Handbook of Practical Logic and Automated Reasoning,\" by John R. Harrison, Cambridge University Press, 2009","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/review.pdf","volume":"49","year":"2012","bibtex":"@article{freek2012c,\n\tAuthor = {Freek Wiedijk},\n\tDate-Added = {2014-11-16 23:15:51 +0000},\n\tDate-Modified = {2014-11-16 23:18:03 +0000},\n\tJournal = {Journal of Automated Reasoning},\n\tNumber = {1},\n\tPages = {107--109},\n\tTitle = {Review of \"Handbook of Practical Logic and Automated Reasoning,\" by John R. Harrison, Cambridge University Press, 2009},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/review.pdf},\n\tVolume = {49},\n\tYear = {2012}}\n\n","author_short":["Wiedijk, F."],"key":"freek2012c","id":"freek2012c","bibbaseid":"wiedijk-reviewofhandbookofpracticallogicandautomatedreasoningbyjohnrharrisoncambridgeuniversitypress2009-2012","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/review.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["review","handbook","practical","logic","automated","reasoning","john","harrison","cambridge","university","press","2009","wiedijk"],"title":"Review of \"Handbook of Practical Logic and Automated Reasoning,\" by John R. Harrison, Cambridge University Press, 2009","year":2012}