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

Type Theory

Hoare Logic

Computability

History and Philosophy of Logic

Further Recommendations

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