Essays on the foundations of mathematics : dedicated to A. A. Fraenkel on his seventieth anniversary /

Guardado en:
Autor Corporativo: Universitah ha-`Ivrit bi-Yerushalayim.
Otros Autores: Fraenkel, Abraham Adolf, 1891-1965., Bar-Hillel, Yehoshua. (Editor )
Formato: Libro
Idioma:English
German
French
Publicado: Jerusalem : Magnes Press, Hebrew University, 1966.
Edición:2nd ed.
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
LEADER 02660cam a22002535a 4500
001 inmabb002213
008 710901r19661961is#c#####b####010#0#eng#d
005 20160523145408.0
245 0 0 |a Essays on the foundations of mathematics :  |b dedicated to A. A. Fraenkel on his seventieth anniversary /  |c edited by Y. Bar-Hillel ... [et al.] for the Hebrew University of Jerusalem. 
250 |a 2nd ed. 
260 |a Jerusalem :  |b Magnes Press, Hebrew University,  |c 1966. 
300 |a x, 351 p. :  |b 1 retr. ;  |c 25 cm. 
546 |a Portada adicional en hebreo. 
500 |a "Second edition," reproducción de la ed. de 1961. 
504 |a Incluye referencias bibliográficas. 
505 0 0 |g Bibliography of A. A. Fraenkel (p. ix-x) --  |t Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre /  |r P. Bernays --  |t On some problems involving inaccessible cardinals /  |r P. Erdös and A. Tarski --  |t Comparing the axioms of local and universal choice /  |r A. Lévy --  |t Frankel's addition to the axioms of Zermelo /  |r R. Mantague --  |t More on the axiom of extensionality /  |r D. Scott --  |t The problem of predicativity /  |r J. R. Shoenfield --  |t Grundgedanken einer typenfreien Logik /  |r W. Ackermann --  |t On the use of Hilbert's [epsilon]-operator in scientific theories /  |r R. Carnap --  |t Basic verifiability in the combinatory theory of restricted generality /  |r H. B. Curry --  |t Uniqueness ordinals in constructive number classes /  |r H. Putnam --  |t On the construction of models /  |r A. Robinson --  |t Interpretation of mathematical theories in the first order predicate calculus /  |r T. Skolem --  |t The elementary character of two notions from general algebra /  |r R. Vaught --  |t Axiomatic method and intuitionism /  |r A. Heyting --  |t On rank-decreasing functions /  |r G. Kurepa --  |t On non-standard models for number theory /  |r E. Mendelson --  |t Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic /  |r A. Mostowski --  |t Non-standard models and independence of the induction axiom /  |r M. O. Rabin --  |t Sur les ensembles raréfiés de nombres naturels /  |r W. Sierpinski --  |t Remarks on the paradoxes of logic and set theory /  |r E. W. Beth --  |t Logique formalisée et raisonnement juridique /  |r R. Feys --  |t Im Umkreis der sogenannten Raumprobleme /  |r H. Freudenthal --  |t Process and existence in mathematics /  |r H. Wang. 
510 4 |a MR,  |c 28 #3918 
700 1 |a Fraenkel, Abraham Adolf,  |d 1891-1965.  |9 007107 
700 2 |a Bar-Hillel, Yehoshua.  |4 edt  |9 015742 
710 2 |a Universitah ha-`Ivrit bi-Yerushalayim.  |9 052766 
084 |a 03-06 (03Exx 03Bxx 03A05)  |2 msc2000 
010 |a he 68002081  
041 1 |a eng  |a ger  |a fre 
859 |h 03  |i Es78f-2  |p A-3877  |b BIB. MATEMATICA