Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie : Jerusalem, 11-14 November 1968

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie Jerusalem, 11-14 November 1968

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Bar-Hillel Yehoshua (Directeur de publication), International Colloquium on Mathematical Logic and Foundations of Set Theory
Collectivités auteurs : International Colloquium on Mathematical Logic and Foundations of Set Theory 1968 Jérusalem (Auteur), Académie israélienne des sciences et des lettres (Organisateur de réunion)
Format : Livre
Langue : anglais
Titre complet : Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie : Jerusalem, 11-14 November 1968 / edited by Yehoshua Bar-Hillel
Publié : Amsterdam, London : North-Holland , 1970
Description matérielle : 1 vol. (145 p.)
Collection : Studies in logic and the foundations of mathematics
Sujets :
Théorie des ensembles
Logique mathématique
Actes de congrès
LEADER 02650cam a2200553 4500
001 PPN004622251
003 http://www.sudoc.fr/004622251
005 20240531154900.0
010 |a 0-7204-2255-8 
020 |a US  |b 7397195 //r90 
035 |a (OCoLC)495924135 
035 |a ocm00115054 
035 |a sib0004993 
100 |a 19990302d1970 k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a NL  |a GB 
105 |a y a 100yy 
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 1 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Mathematical logic and foundations of set theory  |e proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie  |e Jerusalem, 11-14 November 1968  |f edited by Yehoshua Bar-Hillel 
214 0 |a Amsterdam  |a London  |c North-Holland  |d 1970 
215 |a 1 vol. (145 p.)  |d 23 cm 
225 2 |a Studies in logic and the foundations of mathematics 
300 |a Joint sponsors: Mathematical Institute of Hebrew University of Jerusalem and International Mathematical Union 
320 |a Notes bibliogr. 
359 2 |b Weakly definable relations and special automata, M. O. Rabin.  |b Determinacy and prewellorderings of the continuum, Y. N. Moschovakis.  |b Initial segments of the degrees of unsolvability. I: A survey, C. E. M. Yates.  |b Some applications of almost disjoint sets, R. B. Jensen and R. M. Solovay.  |b On local arithmetical functions and their application for constructing types of Peano's arithmetic, H. Gaifman.  |b Definable sets of minimal degree, R. Jensen.  |b Definability in axiomatic set theory, A. Lévy. 
410 | |0 013286838  |t Studies in logic and the foundations of mathematics  |x 0049-237X 
606 |3 PPN027355330  |a Théorie des ensembles  |2 rameau 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
608 |3 PPN02886431X  |a Actes de congrès  |2 rameau 
676 |a 511/.3 
680 |a QA9.A1  |b I56 1968 
701 1 |3 PPN029893070  |a Bar-Hillel  |b Yehoshua  |f 1915-1975  |4 651 
710 1 2 |3 PPN163936862  |a International Colloquium on Mathematical Logic and Foundations of Set Theory  |f 1968  |e Jérusalem  |4 070 
711 0 2 |3 PPN026541068  |a Académie israélienne des sciences et des lettres  |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 20220213  |g AFNOR 
979 |a PHILO 
979 |a CCFA 
930 |5 441092107:252848268  |b 441092107  |a L 2944  |j s 
930 |5 441092208:677369573  |b 441092208  |j u 
991 |5 441092107:252848268  |a Rétroconversion Philosophie 
998 |a 445273