Errata for "Handbook of Practical Logic and Automated Reasoning"

(cover of HOPLAR) This page lists the known errata for the book, "Handbook of Practical Logic and Automated Reasoning", by John Harrison, published in March 2009 by Cambridge University Press. For more information about the book, click the picture on the right.

If you discover a possible error that is not in this list, please let me know! You can email me at or find other contact information here. Unlike Knuth, I don't offer any payment, but you can enjoy the glory of appearing in this list and being acknowledged in any future edition of the book. I also welcome other suggestions and feedback, which may not appear here unless they are clear errors, but will still influence the future development of the book.

Page last updated Saturday 10th August 2019.