• RecordNumber
    36430
  • LC Class
    QA
  • LC Number
    9.59
  • LC CutterNumber
    .E67
  • LC Date
    2000
  • Dewey Class
    511
  • Dewey Date
    .3
  • Author

    Epstein, Richard L.,1947-

  • Title

    Computability

  • Author Statement
    Richard L. Epstein, Walter A. Carnielli
  • Edition
    2nd ed.
  • Publication
    Wadsworth/Thomson Learning
  • Publication Year
    c2000
  • Collation
    299, 38 p.:ill.;24 cm
  • Notes
    "With Computability and undecidability--a timeline, the story of the development of computable functions and the undecidability of arithmetic to 1970, Richard L. Epstein.",One folded leaf of illustrative matter laid in
  • Subject

    Computable functions,Logic, Symbolic and mathematical,Godelʹs theorem

  • ADDED ENTRIES
    Carnielli, Walter A
  • Holding Info.
    0534546447
  • Original By
    79/04
  • DocumentNumber
    47404
  • SubTitle
    : computable functions, logic, and the foundations of mathematics
  • Biblography
    Includes bibliographical references and index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=36430&Field=0&DTC=100