安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Essays on the foundations of mathematics : dedicated to A.A. Fraenkel on his seventieth anniversary / edited by Y. Bar-Hillel ... [et al.] for the Hebrew University of Jerusalem.

出版发行项:

Amsterdam : North-Holland Publishing Co., 1962.

载体形态项:

x, 351 p. ; 23 cm.

个人责任者:

Bar-Hillel, Yehoshua.

附加个人名称:

Bar-Hillel, Yehoshua.

个人名称主题:

Fraenkel, Abraham Adolf,-1891-1965.

论题主题:

Mathematics-Philosophy.

中图法分类号:

O1-02

书目附注:

Includes bibliographical references.

内容附注:

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.

豆瓣简介：