<?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>Enumerability, decidability, computability</title>
    <subTitle>an introduction to the theory of recursive functions</subTitle>
  </titleInfo>
  <name type="personal">
    <namePart>Hermes, Hans.</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <genre authority="marc">bibliography</genre>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">gw</placeTerm>
    </place>
    <place>
      <placeTerm type="text">Berlin</placeTerm>
    </place>
    <place>
      <placeTerm type="text">New York</placeTerm>
    </place>
    <publisher>Springer-Verlag</publisher>
    <dateIssued>c1965</dateIssued>
    <dateIssued encoding="marc">1965</dateIssued>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <language>
    <languageTerm authority="iso639-2b" type="code">ger</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>ix, 245 p. : ill. ; 24 cm.</extent>
  </physicalDescription>
  <note type="statement of responsibility">Hans Hermes ; Translated by G.T Herman, O. Plassmann.</note>
  <note>Includes bibliographies and index. </note>
  <subject authority="lcsh">
    <topic>Mathematics</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Recursive functions</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Algorithms</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Gödel's theorem</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Computable functions</topic>
  </subject>
  <classification authority="ddc" edition="23">510 HEE 1965</classification>
  <relatedItem type="series">
    <titleInfo>
      <title>Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 127</title>
    </titleInfo>
  </relatedItem>
  <recordInfo>
    <recordContentSource authority="marcorg">DLC/ICU</recordContentSource>
    <recordCreationDate encoding="marc">160906</recordCreationDate>
    <recordChangeDate encoding="iso8601">20211209075746.0</recordChangeDate>
    <recordIdentifier source="BD-RjUL">52123</recordIdentifier>
    <languageOfCataloging>
      <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
    </languageOfCataloging>
  </recordInfo>
</mods>
