Collegium Logicum
Seiten
1995
|
1. Softcover reprint of the original 1st ed. 1995
Springer Wien (Verlag)
978-3-211-82646-1 (ISBN)
Springer Wien (Verlag)
978-3-211-82646-1 (ISBN)
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 |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
16,99 €
