Overview

Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodriguez-Consuegra: Some Issues on Godel'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.

Full Product Details

Author:   Kurt Godel Gesellschaft
Publisher:   Springer Verlag GmbH
Imprint:   Springer Verlag GmbH
Edition:   Softcover reprint of the original 1st ed. 1995
Volume:   1
Dimensions:   Width: 17.00cm , Height: 0.70cm , Length: 24.40cm
Weight:   0.265kg
ISBN:  

9783211826461

ISBN 10:   3211826467
Pages:   122
Publication Date:   18 January 1995
Audience:   Professional and scholarly ,  Professional and scholarly ,  Professional & Vocational ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions