+612 9045 4394
 
CHECKOUT
Annals of the Kurt Godel Society : Collegium Logicum - Kurt Godel Gesellschaft

Annals of the Kurt Godel Society

Collegium Logicum

Paperback

Ships: 15 business days
15 business days
$125.46
or 4 easy payments of $31.37 with Learn more

Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. RodrA-guez-Consuegra: Some Issues on GAdela (TM)s Unpublished Philosophical Manuscripts. - D.D. Spalt: VollstAndigkeit 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. HAhnle: Automated Deduction and Integer Programming. - M. Baaz, A. Leitsch: Methods of Functional Extension.

The Last Months of Gerhard Gentzen in Praguep. 1
Some Issues on Godel's Unpublished Philosophical Manuscriptsp. 8
Vollstandigkeit als Ziel historischer Explikation. Eine Fallstudiep. 26
Existenz und Negation in Mathematik und Logikp. 37
Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analysep. 54
Automated Deduction and Integer Programmingp. 67
Methods of Functional Extensionp. 87
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783211826461
ISBN-10: 3211826467
Series: Collegium Logicum : Book 1
Audience: General
Format: Paperback
Language: English
Number Of Pages: 122
Publisher: SPRINGER VERLAG GMBH
Country of Publication: AT
Dimensions (cm): 24.41 x 16.99  x 0.74
Weight (kg): 0.23