Collegium Logicum.
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Vienna :
Springer Vienna,
1995.
|
| Series: | Collegium Logicum, Annals of the Kurt-Gödel-Society, ;
1. |
| Subjects: |
Table of 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.