Stock image for illustration purposes only - book cover, edition or condition may vary.
Collegium Logicum
Kurt Godel Gesellschaft
€ 61.53
FREE Delivery in Ireland
Description for Collegium Logicum
Paperback. Covers a wide range of topics ranging from mathematical to philosophical logic, including logic in computer science, physics and philosophy of science. All articles are referenced to guarantee a high level of scientific content and presentation. Series: Collegium Logicum. Num Pages: 122 pages, 2 black & white illustrations. BIC Classification: HPL; PBCD; PDA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 7. Weight in Grams: 265.
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.
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.
Product Details
Format
Paperback
Publication date
1995
Publisher
Springer Verlag GmbH Austria
Number of pages
122
Condition
New
Series
Collegium Logicum
Number of Pages
122
Place of Publication
Vienna, Austria
ISBN
9783211826461
SKU
V9783211826461
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Collegium Logicum