도서관에서 사본 찾기
해당항목을 보유하고 있는 도서관을 찾는 중
|추가적인 물리적 형식:||Online version:
Universiṭah ha-ʻIvrit bi-Yerushalayim.
Essays on the foundations of mathematics.
Jerusalem, Magnes Press Hebrew University, 1966
|모든 저자 / 참여자:||
פרנקל, אברהם, ; Abraham Adolf Fraenkel; Yehoshua Bar-Hillel; Universiṭah ha-ʻIvrit bi-Yerushalayim.
|메모:||Added t.p. in Hebrew.
"Second edition," photo-offset of Jerusalem, 1961 ed.
|설명:||x, 351 pages portrait 25 cm|
|내용:||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. 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.|
|책임:||Edited by Y. Bar-Hillel [and others] for the Hebrew University of Jerusalem.|