Saarland University
Computer Science
Programming Systems
Teaching
ICL 2004
Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams
Mailing list
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 Hoare 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.
Propositional and Predicate Logic

Uwe Schöning,
Logik für Informatiker. 5. Auflage.
Spektrum Akademischer Verlag, 2000.

L.T.F. Gamut,
Logic, language and meaning.
Volume 1: Introduction to logic
Univ. Chicago Press, 1991.

Willard V. Quine,
Methods of Logic. 4th
edition.
Harward University Press, 1982.

Melvin Fitting,
FirstOrder Logic and Automated
Theorem Proving. 2nd edition.
SpringerVerlag,
1996.

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

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

David Harel, Dexter Kozen, Jerzy Tiuryn,
Dynamic Logic.
The MIT Press, 2000.
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

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

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

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.

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

Steve Reeves and Michael Clarke,
Logic for Computer Science.
AddisonWesley, 1990.
Last Change: Wed Feb 6 09:20:00 2019
