Saarland University
Computer Science
Programming Systems
ICL 2007

Main page
Lecture notes
Exams and Grade
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

Propositional and Predicate Logic

Dynamic Logic


History and Philosophy of Logic

Further Recommendations

Last Change: Wed May 1 17:58:10 2019