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,
  First-Order Logic and Automated Theorem Proving. 2nd edition.
  Springer-Verlag, 1996.
  
• Jean H. Gallier,
  Logic for Computer Science. Foundations of Automatic Theorem Proving.
  Harper & Row, 1986.

Type Theory

• Peter B. Andrews,
  An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.
  Kluwer Academic Publishers, 2002.
• J. Roger Hindley,
  Basic Simple Type Theory.
  Cambridge University Press, 1997.
• 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.

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.
  Addison-Wesley, 1990.