Introduction to Computational Logic: Lecture Notes

Saarland University Computer Science

Lecture Notes (Summer 2010)

Lecture notes from previous runs of this course: Summer 2009, Summer 2008, Summer 2007.

Biographies of important logicians are available at www-history.mcs.st-andrews.ac.uk.



Last Change: Thu Dec 14 17:01:13 2017