Gödel remembered : Salzburg 10-12 July 1983 /

Gödel remembered : Salzburg 10-12 July 1983 /

Saved in:

Bibliographic Details
Meeting name:	Gödel-Symposium in Salzburg (1983)
Imprint:	Napoli [Naples] : Bibliopolis, c1987.
Description:	186 p., [8] leaves of plates : ill. ; 24 cm.
Language:	English
Series:	History of logic 4
Subject:	Gödel, Kurt -- Congresses. Gödel, Kurt. Logic, Symbolic and mathematical -- Congresses. Logic, Symbolic and mathematical. Conference papers and proceedings.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/925145

Hidden Bibliographic Details
Other authors / contributors:	Gödel, R. (Rudolf) Weingartner, Paul Schmetterer, Leopold, 1919- Österreichische Akademie der Wissenschaften Institut für Wissenschaftstheorie (Salzburg, Austria)
ISBN:	8870881415 : L60000
Notes:	Symposium sponsored by Österreichische Akademie der Wissenschaften, Wien and Institut für Wissenschaftstheorie, Salzburg. Includes bibliographies.

Table of Contents:

History of the Gödel family / Rudolf Gödel
Remembrances of Kurt Gödel / Olga Taussky-Todd
Appendix--Ernst Zermelo, a letter to Reinhold Baer
Gödel's impression on students of logic in the 1930s / Stephen C. Kleene
Gödel's excursions into intuitionistic logic / Georg Kreisel.