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.
| ISBN-13: | 9783211826461 |
| ISBN-10: | 3211826467 |
| Publisher: | Springer Vienna |
| Publication date: | 1995-01-18 |
| Edition description: | Softcover reprint of the original 1st ed. 1995 |
| Pages: | 122 |
| Product dimensions: | Height: 9.61 Inches, Length: 6.69 Inches, Weight: 0.507 Pounds, Width: 0.31 Inches |
| Author: | Kurt-Gödel-Gesellschaft |
| Language: | en |
| Binding: | Paperback |
Discover more books in the same category
