• RecordNumber
    1586
  • Author

    Enderton, Herbert B

  • Title

    Computability theory : an introduction to recursion theory

  • Author Statement
    Herbert B. Enderton.
  • Publication
    Academic Press
  • Publication Year
    c2011
  • Collation
    174 p. ill.
  • Notes
    Includes bibliographical references (p. 163-164) and index. , The Computability Concept -- General Recursive Functions -- Programs and Machines -- Recursive Enumerability -- Connections to Logic -- Degrees of Unsolvability -- Polynomial-Time Computability -- [Appendices]. Mathspeak -- Countability -- Decadic Notation.
  • Subject

    Recursion theory

  • LC Class
    QA
  • LC Number
    9.6
  • LC CutterNumber
    .E53
  • LC Date
    2011
    • Link To Document
    https://math.iranlibs.ir/dl/search/default.aspx?Term=1586&Field=0&DTC=2