• RecordNumber
    17812
  • LC Class
    QA
  • LC Number
    76.9
  • LC CutterNumber
    .M35,L8
  • Dewey Class
    004
  • Dewey Number
    /.01
  • Dewey Date
    /51
  • Author

    Lu, Zhong-wan

  • Title

    Mathematical logic for computer science

  • Author Statement
    Lu Zhong-Wan
  • Publication
    World Scientific
  • Publication Year
    1989
  • Collation
    XI,248p.ill. 24 cm
  • Notes
    Includes index
  • Subject

    Electronic data processing- Mathematics,Logic, Symbolic and mathematical

  • Holding Info.
    9971502518
  • DocumentNumber
    24676
  • Biblography
    Bibliography: p
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=17812&Field=0&DTC=100