• RecordNumber
    12608
  • Author

    Boolos, George S

  • Title

    Computability and logic

  • Author Statement
    George S. Boolos , Richard C. Jeffrey
  • Edition
    3rd.ed
  • Publication
    Cambridge university
  • Publication Year
    [c1989]
  • Collation
    x, 304 p.: diagrs, tables
  • Subject

    Logic, symbolic and mathematics , Computable functions , Recursive functions

  • ADDED ENTRIES
    Jeffrey, Richard C. jt.auth
  • Main Class
    511
  • Sub Class
    .3
  • Cutter no
    B724c
  • Date
    1989
  • وارد كنندة اطلاعات
    ^d//
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=12608&Field=0&DTC=2