Collegium Logicum

Buch | Softcover

VII, 122 Seiten

1995
Springer Wien (Verlag)
978-3-211-82646-1 (ISBN)

Artikel merken

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.

The Last Months of Gerhard Gentzen in Prague.- Some Issues on Gödel's Unpubhshed Philosophical Manuscripts.- Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie.- Existenz und Negation in Mathematik und Logik.- Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse.- Automated Deduction and Integer Programming.- Methods of Functional Extension.

Erscheint lt. Verlag	18.1.1995
Reihe/Serie	Collegium Logicum
Zusatzinfo	VII, 122 p. 2 illus.
Verlagsort	Vienna
Sprache	englisch
Maße	170 x 244 mm
Gewicht	264 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Schlagworte	Algorithm analysis and problem complexity • automated deduction • Collegium Logicum; Vol 1 • Logic • Logik • Mathematische Logik • programming • Vollständigkeit
ISBN-10	3-211-82646-7 / 3211826467
ISBN-13	978-3-211-82646-1 / 9783211826461
Zustand	Neuware