Saarland University
Computer Science
Programming Systems
Teaching
ICL 2007


Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams and Grade
Login
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

Computability

History and Philosophy of Logic

Further Recommendations

Last Change: Thu 01 Jan 1970 00:00:00 UTC