Kenneth A. Loparo
Springer Vienna
0e druk, 1995
9783211826461
Collegium Logicum
Specificaties
Paperback, 122 blz.
|
Engels
Springer Vienna |
0e druk, 1995
ISBN13: 9783211826461
Rubricering
Onderdeel van serie
Collegium Logicum
Levertijd ongeveer 8 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783211826461
Taal:Engels
Bindwijze:paperback
Aantal pagina's:122
Uitgever:Springer Vienna
Druk:0
Serie:Collegium Logicum
Inhoudsopgave
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.