Saarland University
Computer Science
Programming Systems
ICL 2005

Main page
Lecture notes
Review your data
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 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.

Propositional and Predicate Logic

Type Theory

Dynamic Logic


History and Philosophy of Logic

Further Recommendations

Last Change: Wed Feb 6 09:20:00 2019 |