|
|
|
|
LEADER |
02766cam a22006257a 4500 |
001 |
BIBLO-34265 |
003 |
AR-BaUEN |
005 |
20231108131012.0 |
008 |
000921s1961 is ||||f |||| 00| 0|eng|d |
040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
044 |
|
|
|a is
|
080 |
|
|
|a 510.21
|b B223
|
245 |
0 |
0 |
|a Essays on the foundations of mathematics :
|b dedicated to A A. Fraenkel on his seventieth anniversary
|
250 |
|
|
|a 1 ed.
|
260 |
|
|
|a Jerusalem :
|b The Magnes Press. The Hebrew University,
|c 1961
|
300 |
|
|
|a 351 p.
|
505 |
0 |
0 |
|t Foreword
|
505 |
0 |
0 |
|t Bibliography
|
505 |
0 |
0 |
|t Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre
|
505 |
0 |
0 |
|t On some problems involving inaccesible cardinals
|
505 |
0 |
0 |
|t Comparing the axioms of local and universal choice
|
505 |
0 |
0 |
|t Fraenkel's addition to the axioms of Zermelo
|
505 |
0 |
0 |
|t More on the axiom of extensionality
|
505 |
0 |
0 |
|t The problem of predicativity
|
505 |
0 |
0 |
|t Grundgedanken einer typenfreien Logik
|
505 |
0 |
0 |
|t On the use of Hilbert's ε-operator in scientific theories
|
505 |
0 |
0 |
|t Basic verifiability in the combinatory theory of restricted generality
|
505 |
0 |
0 |
|t Uniqueness ordinals in constructive number classes
|
505 |
0 |
0 |
|t On the construction of models
|
505 |
0 |
0 |
|t Interpretation of mathematical theories in the first order predicate calculus
|
505 |
0 |
0 |
|t The elementary character of two notions from general algebra
|
505 |
0 |
0 |
|t Axiomatic method and intuitionism
|
505 |
0 |
0 |
|t On rank-decreasing functions
|
505 |
0 |
0 |
|t On non- standard models for number theory
|
505 |
0 |
0 |
|t Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic
|
505 |
0 |
0 |
|t Non- standard models and independence of the induction axiom
|
505 |
0 |
0 |
|t Sur les ensembles raréfiés de nombres naturels
|
505 |
0 |
0 |
|t Remarks on the paradoxes of logic and set theory
|
505 |
0 |
0 |
|t Logique formalisée et raisonnement juridique
|
505 |
0 |
0 |
|t Im Umkreis der sogenannten Raumprobleme
|
505 |
0 |
0 |
|t Process and existence in mathematics
|
562 |
|
|
|e 2 ejs.
|
590 |
|
|
|a Libro con clasificación nueva. Los libros con Wally en el campo 999 fueron clasificados por F. Cukierman y cargados por Carolina de Volder;
|
650 |
1 |
7 |
|2 spines
|a TEORIA DE CONJUNTOS
|
653 |
1 |
0 |
|a FILOSOFIA DE LA LOGICA
|
691 |
|
7 |
|2 fcen-at
|a matematica
|
700 |
1 |
|
|a Bar-Hillel, Y.
|4 edt
|e ed
|
700 |
1 |
|
|a Poznanski, E. I. J.
|4 edt
|e ed
|
700 |
1 |
|
|a Robinson, A.
|4 edt
|e ed
|
901 |
|
|
|a BIBLO
|b 00034316
|o WALLY
|o ROSANA
|n 56582
|q Camila Casariego
|
942 |
|
|
|2 udc
|n 0
|
962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
976 |
|
|
|a AEX
|
997 |
|
|
|a MONOGRAF
|
999 |
|
|
|c 26929
|d 26929
|