Collegium Logicum
Series: Collegium Logicum, Annals of the Kurt-Gödel-Society, 0947-577X -- 1; Collegium Logicum, Annals of the Kurt-Gödel-Society -- 1.
Publisher: Springer Vienna
Published: 1995
Place of publication: Vienna
Language: eng
Format: [electronic resource]
Number of pages: 122
ISBN-13: 9783709193945
Table of contents: title: P. Vihan: The Last Month of Gerhard Gentzen in Prague.; title: F.A. Rodríguez-Consuegra: Some Issues on Gödel's Unpublished Philosophical Manuscripts.; title: D.D. Spalt: Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie.; title: E. Engeler: Existenz und Negation in Mathematik und Logik.; title: W.J. Gutjahr: Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse.; title: R. Hähnle: Automated Deduction and Integer Programming.; title: M. Baaz, A. Leitsch: Methods of Functional Extension.