The Legacy of Kurt Schütte

Intensionality: Lecture Notes in Logic 22

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

Axiomatic Thinking I

Axiomatic Thinking II

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings