Gödel remembered : Salzburg 10-12 July 1983

Gödel remembered : Salzburg 10-12 July 1983

Détails bibliographiques
Auteurs principaux : Gödel R. (Auteur), Weingartner Paul (Auteur), Schmetterer Leopold (Auteur), Gödel-Symposium in Salzburg
Collectivités auteurs : Gödel-Symposium in Salzburg 1983 (Auteur), Österreichische Akademie der Wissenschaften (Organisateur de réunion), Institut für Wissenschaftstheorie Salzbourg, Autriche (Organisateur de réunion)
Format : Livre
Langue : anglais
Titre complet : Gödel remembered : Salzburg 10-12 July 1983 / R. Gödel ... [et al.]; edited by Paul Weingartner and Leopold Schmetterer
Publié : Napoli [Naples] : Bibliopolis , C 1987
Description matérielle : 1 vol. (186 p., [8] pl.)
Collection : History of logic ; 4
Contenu : 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
Sujets :
Gödel > Kurt > 1906-1978
Logique
Actes de congrès

BU Censive

Informations d'exemplaires de BU Censive
‌ Cote Prêt Statut
Bât. Censive, 1er étage, salle 111 L 10439 Empruntable Disponible