• RecordNumber
    46091
  • LC Class
    QA
  • LC Number
    9.615
  • LC CutterNumber
    .D38
  • LC Date
    1982
  • Author

    Davis, Martin, 1928-

  • Title

    Computability & unsolvability

  • Author Statement
    Martin Davis
  • Edition
    Dover ed
  • Publication
    Dover
  • Publication Year
    1982
  • Collation
    xxv, 248 p. ; 22 cm
  • Notes
    Includes index
  • Subject

    Recursive functions , Unsolvability (Mathematical logic) , Computable functions

  • Index
    Bibliography: p. 237-241
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=46091&Field=0&DTC=100