Saarland University
Computer Science
Programming Systems
Teaching
ICL 2007
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,
FirstOrder Logic and Automated
Theorem Proving. 2nd edition.
SpringerVerlag,
1996.

HeinzDieter 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.
AddisonWesley, 1990.

Anne Sjerp Troelstra and Helmut Schwichtenberg,
Basic Proof Theory. 2nd edition.
Cambridge University Press, 2000.
Last Change: Wed May 1 17:58:10 2019