Book Reviews

2017

2016

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.

2013

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]

2001

  • Logic in Computer Science: Modelling and Reasoning about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press, 2000, ISBN 0521652006, (hardback), ISBN 0521656028, (paperback), Reviewed by Femke van Raamsdonk. (pp 123-125) [html] [pdf]