Gödel remembered : Salzburg 10-12 July 1983

Gödel remembered : Salzburg 10-12 July 1983

Enregistré dans:
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
LEADER 02388cam a2200601 4500
001 PPN020490917
003 http://www.sudoc.fr/020490917
005 20240319103300.0
010 |a 88-7088-141-5  |d L60000 
020 |a US  |b 88122654 
035 |a (OCoLC)16953043 
035 |a ocm16953043 
035 |a sib1377003 
100 |a 19880322h19871987k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a IT 
105 |a af a 110yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Gödel remembered  |e Salzburg 10-12 July 1983  |f R. Gödel ... [et al.]  |g edited by Paul Weingartner and Leopold Schmetterer 
214 0 |a Napoli [Naples]  |c Bibliopolis 
214 4 |d C 1987 
215 |a 1 vol. (186 p., [8] pl.)  |c ill.  |d 24 cm 
225 2 |a History of logic  |v 4 
300 |a Symposium sponsored by Österreichische Akademie der Wissenschaften, Wien and Institut für Wissenschaftstheorie, Salzburg 
320 |a Bibliogr. p. [181]-186 
327 1 |a History of the Gödel family / Rudolf Gödel  |a Remembrances of Kurt Gödel / Olga Taussky-Todd  |a Appendix--Ernst Zermelo, a letter to Reinhold Baer  |a Gödel's impression on students of logic in the 1930s / Stephen C. Kleene  |a Gödel's excursions into intuitionistic logic / Georg Kreisel 
410 | |t History of logic  |v 4 
600 1 |3 PPN028039734  |a Gödel  |b Kurt  |f 1906-1978  |2 rameau 
606 |3 PPN027284263  |a Logique  |2 rameau 
608 |3 PPN02886431X  |a Actes de congrès  |2 rameau 
676 |a 511.3  |v 19 
680 |a QA9.A1  |b G63 1987 
686 |a 01A70  |c 1991  |2 msc 
686 |a 03-06  |c 1991  |2 msc 
701 1 |a Gödel  |b R.  |g Rudolf  |4 070 
701 1 |3 PPN028471210  |a Weingartner  |b Paul  |f 1931-....  |4 070 
701 1 |3 PPN03307156X  |a Schmetterer  |b Leopold  |f 1919-2004  |4 070 
710 1 2 |a Gödel-Symposium in Salzburg  |f 1983  |4 070 
711 0 2 |3 PPN026416433  |a Österreichische Akademie der Wissenschaften  |4 557 
711 0 2 |3 PPN033071489  |a Institut für Wissenschaftstheorie  |c Salzbourg, Autriche  |4 557 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 3 |a FR  |b Abes  |c 20220315  |g AFNOR 
979 |a PHILO 
930 |5 441092107:252893743  |b 441092107  |a L 10439  |j s 
991 |5 441092107:252893743  |a Retroconversion Philosophie 
998 |a 445442