Logic II

Course in the summer semester 2003
 

Time: Mon. 13--15h, MZH 5300

Start: Mon. 28.04.2003

This lecture continues the lecture Logic I. Subjects are:

• Higher-order logic
• Proving with TPS and Isabelle (semi-automatic theorem provers)
• Gödel's incompleteness theorem

Literature:

• Language, Proof, and Logic by Jon Barwise and John Etchemendy (CSLI Stanford)
• An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof by Peter B. Andrews.
• TPS (Theorem proving system)

Material for the lecture.

Contact: Till Mossakowski www  EMail