ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... 500) (English and German Edition)

Book

ISILC - Logic Conference Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Book

Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Book

Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic (Lecture Notes in Mathematics, 70)

Book

Logical Theory and Semantic Analysis Essays Dedicated to Stig Kanger on His Fiftieth Birthday

Book

Advances in Proof Theory

Book

Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics) (German Edition)

Book

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Book

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

Book

Grundzüge der Theoretischen Logik (Grundlehren der mathematischen Wissenschaften) (German Edition)

Book

Model Theory and Arithmetic: Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, ... 890) (English and French Edition)