• RecordNumber
    5020
  • LC Class
    QA
  • LC Number
    9.59
  • LC CutterNumber
    .F58
  • Dewey Class
    001
  • Dewey Number
    .64
  • Dewey Date
    /2
  • Author

    Fitting, Melvin Chris, 1942-

  • Title

    Computability theory, semantics, and logic programming

  • Author Statement
    Melvin Fitting
  • Publication
    Oxford University Press ; Oxford : Clarendon Press
  • Publication Year
    1987
  • Collation
    xi, 198 p.: ill.; 24 cm
  • Series
    Oxford logic guides ; 13
  • Subject

    Computable functions,Data structures (Computer science)

  • Holding Info.
    0195036913
  • DocumentNumber
    23970
  • Biblography
    Includes bibliographies and index
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=5020&Field=0&DTC=100