机读格式显示(MARC)
- 000 02690nam a2200289 a 4500
- 008 110111s1962 ne b 010 0 eng d
- 099 __ |a CAL 022011008756
- 100 1_ |a Bar-Hillel, Yehoshua.
- 245 00 |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.
- 260 __ |a Amsterdam : |b North-Holland Publishing Co., |c 1962.
- 300 __ |a x, 351 p. ; |c 23 cm.
- 504 __ |a Includes bibliographical references.
- 505 0_ |a Bibliography of A. A. Fraenkel (p. ix-x) -- Axiomatic set theory. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre, von P. Bernays -- On some problems involving inaccessible cardinals, by P. Erdos and A. Tarski -- Comparing the axioms of local and universal choice, by A. Levy -- Frankel's addition to the axioms of Zermelo, by R. Mantague -- More on the axiom of extensionality, by D. Scott -- The problem of predicativity, by J. R. Shoenfield -- Mathematical logic. Grundgedanken einer typenfreien Logik, von W. Ackermann -- On the use of Hilbert's [epsilon]-operator in scientific theories, by R. Carnap -- Basic verifiability in the combinatory theory of restricted generality, by H. B. Curry -- Uniqueness ordinals in constructive number classes, by H. Putnam -- On the construction of models, by A. Robinson -- Interpretation of mathematical theories in the first order predicate calculus, by T. Skolem -- The elementary character of two notions from general algebra, by R. Vaught -- Foundations of arithmetic and analysis. Axiomatic method and intuitionism, by A. Heyting -- On rank-decreasing functions, by G. Kurepa -- On non-standard models for number theory, by E. Mendelson -- Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic, by A. Mostowski -- Non-standard models and independence of the induction axiom, by M. O. Rabin -- Sur les ensembles rarefies de nombres naturels, par W. Sierpinski -- Philosophy of logic and mathematics. Remarks on the paradoxes of logic and set theory, by E. W. Beth -- Logique formalisee et raisonnement juridique, par R. Feys -- Im Umkreis der sogenannten Raumprobleme, von H. Freudenthal -- Process and existence in mathematics, by H. Wang.
- 600 10 |a Fraenkel, Abraham Adolf, |d 1891-1965.
- 650 _0 |a Mathematics |x Philosophy.
- 700 1_ |a Bar-Hillel, Yehoshua.