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 01 Jan 1970 00:00:00 UTC