| Document Type
|
:
|
BL
|
| Record Number
|
:
|
594759
|
| Doc. No
|
:
|
b423978
|
| Main Entry
|
:
|
Gödel-Symposium in Salzburg, (1983)
|
| Title & Author
|
:
|
Gödel remembered : : Salzburg 10-12 July 1983 /\ R. Gödel [and others] ; edited by Paul Weingartner and Leopold Schmetterer
|
| Publication Statement
|
:
|
Napoli [Naples] :: Bibliopolis,, ©1987
|
| Series Statement
|
:
|
History of logic ;; 4
|
| Page. NO
|
:
|
186 pages, [8] leaves of plates :: illustrations ;; 24 cm
|
| ISBN
|
:
|
8870881415
|
|
|
:
|
: 9788870881417
|
| Notes
|
:
|
Symposium sponsored by Österreichische Akademie der Wissenschaften, Wien and Institut für Wissenschaftstheorie, Salzburg
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references
|
| Contents
|
:
|
History of the Gödel family / Rudolf Gödel -- Remembrances of Kurt Gödel / Olga Taussky-Todd -- Appendix--Ernst Zermelo, a letter to Reinhold Baer -- Gödel's impression on students of logic in the 1930s / Stephen C. Kleene -- Gödel's excursions into intuitionistic logic / Georg Kreisel
|
| Subject
|
:
|
Gödel, Kurt
|
| Subject
|
:
|
Logic, Symbolic and mathematical, Congresses
|
| Subject
|
:
|
Logiciens - États-Unis - Biographies
|
| Subject
|
:
|
Logique symbolique et mathématique
|
| Dewey Classification
|
:
|
511.3
|
| LC Classification
|
:
|
QA9.A1G63 1987
|
| Added Entry
|
:
|
Gödel, R., (Rudolf)
|
|
|
:
|
Weingartner, Paul
|
|
|
:
|
Schmetterer, Leopold,1919-
|
| Added Entry
|
:
|
Österreichische Akademie der Wissenschaften
|
|
|
:
|
Institut für Wissenschaftstheorie (Salzburg, Austria)
|