Saarland University
Computer Science
Programming Systems
Teaching
ICL 2009

Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams and Grade
Login
Discussion Board

Introduction to Computational Logic: Literature

There are plenty of books on logic, approaching it from many different perspectives and targeted at different groups of readers. Computational logic, however, is still at an early stage and there is no standard textbook for beginners. The traditional teaching model inherited from mathematical logic focusses on propositional and first order predicate logic and ignores type theory and dynamic logic. Below you find books that are useful in the context of this course and that will help you to get a broader view and a deeper understanding of the field.

Lambda Calculus and Type Theory

Henk Barendregt,
Lambda Calculi with Types. Handbook of Logic in Computer Science, Volume 2, 1992.
J. Roger Hindley,
Basic Simple Type Theory.
Cambridge University Press, 1997.
Peter B. Andrews,
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.
Kluwer Academic Publishers, 2002.
Fairouz Kamareddine, Twan Laan and Rob Nederpelt,
A Modern Perspective on Type Theory From its Origins Until Today.
Kluwer, 2004.
John C. Mitchell,
Foundations for Programming Languages.
The MIT Press, 1996.

Propositional and Predicate Logic

Wilfrid Hodges,
Logic. 2nd ed.
Penguin Bookks, 2001.
A very gentle introduction; lots of philosophical remarks; highly recommended.
L.T.F. Gamut,
Logic, language and meaning. Volume 1: Introduction to logic Univ. Chicago Press, 1991.
A gentle introduction; lots of philosophical remarks.
Willard V. Quine,
Methods of Logic. 4th edition.
Harward University Press, 1982.
Technical, lots of philosophical and historical remarks.
Peter B. Andrews,
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.
Kluwer Academic Publishers, 2002.
Technical; advanced; recommended.
Melvin Fitting,
First-Order Logic and Automated Theorem Proving. 2nd edition.
Springer-Verlag, 1996.

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas,
Einführung in die mathematische Logik. 4. Auflage.
Spektrum Akademischer Verlag, 1996.

Dynamic Logic

David Harel, Dexter Kozen, Jerzy Tiuryn,
Dynamic Logic.
The MIT Press, 2000.

Patrick Blackburn, Maarten de Rijke and Yde Venema,
Modal Logic.
Cambridge University Press, 2001.

Glynn Winskel,
The Formal Semantics of Programming Languages: An Introduction.
The MIT Press, 1993.

Computability

Neil D. Jones,
Computability and Complexity from a Programming Perspective.
The MIT Press, 1997.

Harry R. Lewis and Christos H. Papadimitriou,
Elements of the Theory of Computation. 2nd edition.
Prentice Hall, 1998.

Christos H. Papadimitriou,
Computational Complexity.
Addison Wesley, 1995.

History and Philosophy of Logic

J.N. Crossley, et al.,
What is Mathematical Logic?
Dover Publications, 1990.

Christos H. Papadimitriou,
Turing (A Novel about Computation).
The MIT Press, 2003.

Further Recommendations

Thomas Forster,
Logic, Induction and Sets.
Cambridge University Press, 2003.

Franz Baader and Tobias Nipkow,
Term Rewriting and All That.
Cambridge University Press, 1998.

Edmund M. Clarke, Orna Grumberg, and Doron A. Peled,
Model Checking.
The MIT Press, 1999.

Michael R. A. Huth und Mark D. Ryan,
Logic in Computer Science: Modelling and Reasoning about Systems.
Cambridge University Press, 2000.

Jean H. Gallier,
Logic for Computer Science. Foundations of Automatic Theorem Proving.
Harper & Row, 1986.

Wilfrid Hodges,
A Shorter Model Theory.
Cambridge University Press, 1997.

René Lalement,
Computation as Logic.
International Series in Computer Science, Prentice Hall, 1993.

Steve Reeves and Michael Clarke,
Logic for Computer Science.
Addison-Wesley, 1990.

Anne Sjerp Troelstra and Helmut Schwichtenberg,
Basic Proof Theory. 2nd edition.
Cambridge University Press, 2000.

Last Change: Thu 01 Jan 1970 00:00:00 UTC