• RecordNumber
    5016
  • LC Class
    QA
  • LC Number
    9.59
  • LC CutterNumber
    .B66
  • LC Date
    1989
  • Dewey Class
    511
  • Dewey Date
    .3
  • Author

    Boolos, George s.

  • Title

    Computability and logic

  • Author Statement
    George S. Boolos, Richard C. Jeffrey
  • Edition
    3rd ed
  • Publication
    Cambridge University Press
  • Publication Year
    1989
  • Collation
    x, 304 p.: ill.; 24 cm
  • Subject

    Computable functions,Recursive functions,Logic, Symbolic and Mathematical

  • ADDED ENTRIES
    Jeffrey, Richard C
  • Holding Info.
    052138026
  • DocumentNumber
    23964
  • Biblography
    Includes bibliographical references and index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=5016&Field=0&DTC=100