|
" Collegium Logicum. "
Kurt Gödel Society.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
767811
|
| Doc. No
|
:
|
b587796
|
| Main Entry
|
:
|
Kurt Gödel Society.
|
| Title & Author
|
:
|
Collegium Logicum.\ Kurt Gödel Society.
|
| Publication Statement
|
:
|
Vienna : Springer Vienna, 1995
|
| Series Statement
|
:
|
Collegium Logicum, Annals of the Kurt-Gödel-Society,, 1.
|
| Page. NO
|
:
|
(VII, 122 pages 2 illustrations)
|
| ISBN
|
:
|
3211826467
|
|
|
:
|
: 370919394X
|
|
|
:
|
: 9783211826461
|
|
|
:
|
: 9783709193945
|
| 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.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Computer software.
|
| Subject
|
:
|
Mathematics.
|
| Added Entry
|
:
|
Kurt Gödel Society.
|
| |