2017
- Constraint Solving and Planning with Picat by Neng-Fa Zhou , Håkan Kjellerstrand , and Jonathan Fruhman. xi + 148 pages, Springer, 2015. Paperback, ISBN 978-3-319-25881-2. Reviewed by ROMAN BARTÁK, pp 118-120.
- Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek, Cambridge University Press, 2015. ISBN 978-0-521-11801-9, 152 pages. Reviewed by KRZYSZTOF R. APT. pp. 353-358, pp. 353-358.
2016
- All about Proofs, Proofs for All, Bruno Woltzenlogel Paleo and David Delahaye,
College Publications, Series Mathematical Logic and Foundations, vol. 55., 2015. Paperback, ISBN 978-1-84890-166-7, vii + 240 pages. Reviewed by Victor W. Marek, pp 236-241.
2014
- Independence-Friendly Logic by Allen L. Mann, Gabriel Sandu and Merlijn Sevenster, Cambridge University Press, 2011. Reviewed by Jouko Vänänen, pp. 137-140.
- Programming with Higher-Order Logic by Dale Miller and Gopalan Nadathur, xiv + 306 pages, Cambridge University Press, 2012. Reviewed by Frank Pfenning, pp 265-267.
-
A Gentle Guide to Constraint Logic Programming via ECLiPSe by Antoni Niederliński. Book available at http://www.anclp.pl/ as a free secured PDF file. Reviewed by Eric Monfroy
2013
- Thinking as Computation: a first course. By Hector J. Levesque, reviewed by Mirosława Miłkowska, pp 143-145
2012
- Models and Games by Jouko Väänänen, Cambridge University Press, Cambridge. Reviewed by Panos Rondogiannis
- Logic: a Brief Course by Daniele Mundici, Springer, 2012. Reviewed by Krzysztof R. Apt
- Unification Grammars by Nissim Francez and Shuly Wintner, Cambridge 2012, Reviewed by Mark-Jan Nederhof
2011
- Eric Monfroy: Constraint Handling Rules by Thom Frühwirth Cambridge University Press, 2009, hard cover: ISBN 978-0-521-87776-3. £45 [html] [pdf]
- Marijn Heule: Introduction to Mathematics of Satisfiability by Victor W. Marek Chapman & Hall/CRC, 2009 Hardback, ISBN-13: 9781439801673, $ 89.95 [html] [pdf]
- Wei Li: Mathematical Logic by Rosella Gennari. Birkhauser, 2010 Hardback, ISBN-13: ISBN-978-3-7643-9976-4, about $ 70 [html] [pdf]
2010
- Handbook of Practical Logic and Automated Reasoning, by John Harrison Cambridge University Press, 2009 Hardback, ISBN-13: 9780521899574) £75.00. Reviewed by Jeremy Avigad. [html] [pdf]
2009
- Lambda-Calculus and Combinators, an Introduction, 2nd Edition by J. Roger Hindley and Jonathan P. Seldin Cambridge University Press, 2008, Hardback, ISBN-13: 9780521898850, $ 70.00. Reviewed by Femke van Raamsdonk. [html] [pdf]
2008
- Constraint Logic Programming using ECLiPSe by Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007, ISBN 0521866286, 9780521866286, Price: £35.00, 329 pages. Reviewed by Peter Stuckey. [html] [pdf]
2006
- Learn Prolog Now! by Patrick Blackburn, Johan Bos, Kristina Striegnitz, College Publications, 2006 Paperback: ISBN 1-904987-17-6, Price: £12 xiv + 265 pages. Reviewed by Bart Demoen. [html] [pdf]
2005
- Programming in Prolog. Using the ISO Standard by William F. Clocksin , Christopher S. Mellish, Springer-Verlag, 2003, ISBN 3-540-00678-8, xiii + 299 pages. Reviewed by Bart Demoen. [html] [pdf]
- Term Rewriting Systems by Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds., Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6, xxii + 884 pages. Reviewed by Nachum Dershowitz. [html] [pdf]
- Concepts, Techniques, and Models of Computer Programming by Peter Van Roy and Seif Haridi, MIT Press, 2004, hard cover: ISBN 0-262-22069-5, xxvii + 900 pages. Reviewed by Yves Deville. [html] [pdf]
- Victor W. Marek: Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific Publishing, Hardback: ISBN 981-256-101-3, Price: $68.00 xiv + 408 pages. [html] [pdf]
2004
- Programming Constraint Services: High level Programming of Standard and New Constraint Services by Christian Schulte. Springer 2002, LNAI 2302, ISBN 3-540-43371-6 (pp 233 – 235). Reviewed by François Laburthe. [html] [pdf]
- Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8 (pp 237 – 239). Reviewed by Miroslaw Truszczynski. [html] [pdf]
- Essentials of Constraint Programming by Thom Fruhwirth and Slim Abdennadher, Springer, 2003, hard cover: ISBN 3-540-67623-6, ix + 145 pages (pp 381-382). Reviewed by Eric Monfroy [html] [pdf]
- Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer-Verlag, 2002, hard cover: ISBN 0-387-95250-0, xi + 414 pages. (pp 539-541) Reviewed by Femke van Raamsdonk. [html] [pdf]
- Logic for Learning: Learning Comprehensible Theories from Structured Data by by John W. Lloyd, Springer-Verlag, 2003, hard cover: ISBN 3-540-42027-4, x + 256 pages. (pp 753-755). Reviewed by Peter Flach. [html] [pdf]
- Constraint Processing by Rina Dechter, Morgan Kaufmann Publishers, 2003, hard cover: ISBN 1-55860-890-7, xx + 481 pages (pp 755-757). Reviewed by Roland H.C. Yap. [html] [pdf]
- Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, hard cover: ISBN 0-521-82583-0, xii + 407 pages. (pp 758-762). Reviewed by Francesca Rossi. [html] [pdf]
2003
- Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, ISBN 0-387-95197-0. Reviewed by Agostino Dovier. (pp 125 – 128) [html] [pdf]
- Introduction to Constraint Databases by Peter Revesz. Texts in Computer Science, Springer-Verlag, 2002, ISBN 0-387-98729-0, xiv + 393 pages, 112 illustrations, hardcover, Reviewed by Bart Kuijpers. (pp 765 – 767) [html] [pdf]
2002
- Mathematical Logic for Computer Science (Second Revised Edition) by Mordechai Ben-Ari, Springer, 2001, paperback: ISBN 1-85233-319-7, Krzysztof R. Apt. (pp 123-124) [html] [pdf]
- Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6,Yde Venema. (pp 419-421) [html] [pdf]