Kenneth A. Loparo

Collegium Logicum

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Collegium Logicum Nr.1
• Verlag: Springer, Wien
• 1995.
• Seitenzahl: 136
• Erscheinungstermin: 18. Januar 1995
• Englisch
• Abmessung: 244mm x 170mm x 8mm
• Gewicht: 261g
• ISBN-13: 9783211826461
• ISBN-10: 3211826467
• Artikelnr.: 39601521

Inhaltsangabe

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.