<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Essays on the foundations of mathematics</title>
    <subTitle>Dedicated to A. A. Fraenkel on his seventieth anniversary</subTitle>
  </titleInfo>
  <name type="corporate">
    <namePart>Universiṭah ha-ʻIvrit bi-Yerushalayim</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>Fraenkel, Abraham Adolf</namePart>
    <namePart type="date">1891-1965</namePart>
  </name>
  <name type="personal">
    <namePart>Bar-Hillel, Yehoshua</namePart>
    <role>
      <roleTerm type="text">ed.</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <genre authority="marc">bibliography</genre>
  <genre authority="marc">festschrift</genre>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">is</placeTerm>
    </place>
    <place>
      <placeTerm type="text">Jerusalem</placeTerm>
    </place>
    <publisher>Magnes Press Hebrew University</publisher>
    <dateIssued>1966</dateIssued>
    <edition>2d ed.</edition>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>x, 351 p. port. 25 cm.</extent>
  </physicalDescription>
  <tableOfContents>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.</tableOfContents>
  <note type="statement of responsibility">Edited by Y. Bar-Hillel [and others] for the Hebrew University of Jerusalem.</note>
  <note>Added t.p. in Hebrew.</note>
  <note>"Second edition," photo-offset of Jerusalem, 1961 ed.</note>
  <note>Includes bibliographies.</note>
  <subject authority="lcsh">
    <topic>Mathematics</topic>
    <topic>Philosophy</topic>
  </subject>
  <classification authority="lcc">QA9 .U55 1966</classification>
  <classification authority="ddc">510</classification>
  <identifier type="lccn">he 68002081</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg">DLC</recordContentSource>
    <recordCreationDate encoding="marc">710901</recordCreationDate>
    <recordChangeDate encoding="iso8601">20260227111500.0</recordChangeDate>
    <recordIdentifier source="DLC">he 68002081 </recordIdentifier>
  </recordInfo>
</mods>
