• RecordNumber
    41518
  • Author

    Enderton, Herbert B.

  • Title

    Computability theory : an Introduction to recursion theory

  • Author Statement
    Herbert B. Enderton
  • Publication
    Amsterdam ; Boston Academic Press
  • Publication Year
    2011
  • Collation
    174 p. : ill. ; 24 cm
  • Notes
    Includes bibliographical references (p. 163-164) , 9780123849588 , 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

  • ADDED ENTRIES
    TI
  • LC Class
    QA
  • LC Number
    9.6
  • LC CutterNumber
    .E53
  • LC Date
    2011
  • وارد کنندة اطلاعات
    zadehmohammadi
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=41518&Field=0&DTC=2