Theory and Practice of Logic Programming

Table of Contents - May 2012 - Volume 12, Issue 03  

As this article doesn't contain an abstract, the image below is necessary to enable the article to be indexed by certain search engines. The resolution of the full-text PDF is much higher than that shown here.

Book Review

Logic: A Brief Course by Daniele Mundici, Springer, 2012. Paperback, ISBN 978-88-470-2360-4, xi + 124 pp.

Krzysztof R. Apta1

a1 CWI and University of Amsterdam (e-mail: k.r.apt@cwi.nl)