Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | Springer Wien |
| Ersterscheinung | 18. Januar 1995 |
| Maße | 24.4 cm x 17 cm |
| Gewicht | 249 Gramm |
| Format | Softcover |
| ISBN-13 | 9783211826461 |
| Auflage | Softcover reprint of the original 1st edition 1995 |
| Seiten | 122 |
Schlagwörter
Algorithmen und Datenstrukturen, Algorithms, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Mathematical Logic and Foundations, Mathematik: Logik, Mathematische Grundlagen, Mathematische Physik, Theoretical - Mathematical and Computational Physics, Theoretische Informatik, Theory of Computation
Herstellerinformationen
Bekannt durch
