Collegium Logicum

By Kurt-Gödel-Gesellschaft

Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodr guez-Consuegra: Some Issues on G del's Unpublished Philosophical Manuscripts. - D.D. Spalt: Vollst ndigkeit als Ziel historischer Explikation. Eine Fallstudie. - E. Engeler: Existenz und Negation in Mathematik und Logik. - W.J. Gutjahr: Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse. - R. H hnle: Automated Deduction and Integer Programming. - M. Baaz, A. Leitsch: Methods of Functional Extension.

• Format: Paperback
• Language: English
• ISBN: 3211826467
• ISBN13: 9783211826461
• Release Date: January 1995
• Publisher: Springer
• Length: 122 Pages
• Weight: 0.50 lbs.
• Dimensions: 0.3" x 6.7" x 9.6"