|
|
|
|
| LEADER |
01833nam a22002657a 4500 |
| 001 |
376619 |
| 008 |
990302s1970 xxe ||| |||| 00| 0 eng d |
| 009 |
PPN004622251 |
| 020 |
|
|
|a 0720422558
|
| 041 |
0 |
|
|a eng
|
| 082 |
|
|
|a 511/.3
|
| 111 |
2 |
|
|a International Colloquium on Mathematical Logic and Foundations of Set Theory
|d (1968
|c :Jérusalem).
|
| 245 |
1 |
0 |
|a Mathematical logic and foundations of set theory :
|b proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie : Jerusalem, 11-14 November 1968
|c edited by Yehoshua Bar-Hillel.
|
| 260 |
|
|
|a Amsterdam ;
|a London :
|b North-Holland,
|c 1970.
|
| 300 |
|
|
|a 1 vol. (145 p.) ;
|c 23 cm.
|
| 490 |
1 |
|
|a Studies in logic and the foundations of mathematics
|
| 500 |
|
|
|a Joint sponsors: Mathematical Institute of Hebrew University of Jerusalem and International Mathematical Union
|
| 504 |
|
|
|a Notes bibliogr.
|
| 505 |
0 |
|
|a Weakly definable relations and special automata, M. O. Rabin. -- Determinacy and prewellorderings of the continuum, Y. N. Moschovakis. -- Initial segments of the degrees of unsolvability. I: A survey, C. E. M. Yates. -- Some applications of almost disjoint sets, R. B. Jensen and R. M. Solovay. -- On local arithmetical functions and their application for constructing types of Peano's arithmetic, H. Gaifman. -- Definable sets of minimal degree, R. Jensen. -- Definability in axiomatic set theory, A. Lévy.
|
| 650 |
|
|
|a Ensembles, Théorie des
|
| 650 |
|
|
|a Logique symbolique et mathématique
|
| 650 |
|
|
|a Actes de congrès
|
| 700 |
1 |
|
|a Bar-Hillel, Yehoshua,
|d 1915-1975.
|4 pbd
|
| 710 |
2 |
|
|a Académie israélienne des sciences et des lettres.
|4 orm
|
| 997 |
|
|
|0 376619
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/IDP/
|z Orléans, IDP, CO 203 BAR
|z Orléans, IDP, CO 203 BAR
|z Orléans, IDP, CO 206 BAR
|
