Skip to main content
SpringerLink
Log in
Book cover

Collegium Logicum

  • Conference proceedings
  • © 1995

Overview

Authors:
  1. Kurt-Gödel-Gesellschaft

    1. Institut für Computersprachen, Technische Universität Wien, Vienna, Austria

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Collegium Logicum (COLLLOGICUM, volume 1)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 papers)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. The Last Months of Gerhard Gentzen in Prague

    • Přemysl Vihan
    Pages 1-7

  3. Some issues on Gödel’s unpublished philosophical manuscripts

    • Francisco A. Rodríguez-Consuegra
    Pages 8-25

  4. Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie

    • Detlef D. Spalt
    Pages 26-36

  5. Existenz und Negation in Mathematik und Logik

    • Erwin Engeler
    Pages 37-53

  6. Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse

    • Walter J. Gutjahr
    Pages 54-66

  7. Automated Deduction and Integer Programming

    • Reiner Hähnle
    Pages 67-86

  8. Methods of Functional Extension

    • Matthias Baaz, Alexander Leitsch
    Pages 87-122
Back to top

Keywords

Authors and Affiliations

  • Institut für Computersprachen, Technische Universität Wien, Vienna, Austria

    Kurt-Gödel-Gesellschaft

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation