• RecordNumber
    9362
  • LC Class
    QA
  • LC Number
    248.5
  • LC CutterNumber
    .H413
  • LC Date
    1969
  • Dewey Class
    510
  • Dewey Date
    /.01
  • Author

    Hermes, Hans

  • Title

    Enumerability, decidability, computability

  • Author Statement
    Translated by G. T. Hermann and O. Plassmann
  • Edition
    2d rev. ed.
  • Publication
    Springer
  • Publication Year
    1969
  • Collation
    x, 245 p., 24 cm
  • Series
    Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete ; Bd. 127
  • Notes
    Translation of Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit
  • Subject

    Recursive functions,Algorithms,Godelʹs theorem,Computable functions

  • DocumentNumber
    8875
  • SubTitle
    An introduction to the theory of recursive functions
  • Biblography
    Includes bibliographies.
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=9362&Field=0&DTC=100