02749cam a22002891  4500001001300000003000400013005001700017008004100034010001700075025001800092040001800110050001900128082000800147110004600155245018400201250001100385260005500396300002900451350001200480500002600492500005800518504002900576505175300605650002902358700004102387700003102428he 68002081 DLC20260227111500.0710901s1966    is c     b    010 0 eng    ahe 68002081   aPL480:Is-5291  aDLCcDLCdDLC00aQA9b.U55 196600a5102 aUniversiṭah ha-ʻIvrit bi-Yerushalayim.10aEssays on the foundations of mathematics.bDedicated to A. A. Fraenkel on his seventieth anniversary.cEdited by Y. Bar-Hillel [and others] for the Hebrew University of Jerusalem.  a2d ed.  aJerusalem,bMagnes Press Hebrew University,c1966.  ax, 351 p.bport.c25 cm.  aIL20.00  aAdded t.p. in Hebrew.  a"Second edition," photo-offset of Jerusalem, 1961 ed.  aIncludes bibliographies.0 aBibliography 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. Erdös and A. Tarski.--Comparing the axioms of local and universal choice, by A. Lévy.--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 raréfiés 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 formalisée et raisonnement juridique, par R. Feys.--Im Umkreis der sogenannten Raumprobleme, von H. Freudenthal.--Process and existence in mathematics, by H. Wang. 0aMathematicsxPhilosophy.1 aFraenkel, Abraham Adolf,d1891-1965.1 aBar-Hillel, Yehoshua,eed.