Book reviews

Some book reviews

• 2023: Jurriaan Hage.  Review on zbMath.

• December 2014:  Andrew Gacek.  Review on Amazon.

• March 2014:  Frank Pfenning. Review for Theory and Practice of Logic Programming (doi).

• March 2014: James Cheney. Review on his blog.

• June 2014: Vaishak Belle. Review for SigAct (doi).