• RecordNumber
    79180
  • Author

    Lu, Chung-wan

  • Title

    Mathematical logic for computer science

  • Author Statement
    Lu Zhongwan
  • Edition
    2nd ed
  • Publication
    World scientific
  • Publication Year
    c1998
  • Collation
    xi, 244 p. : ill
  • Series
    Series in computer science; vol. 47
  • Bibliography
    Bibliography: p. 227- 228
  • Subject

    Computer science- Mathematics , Logic, Symbolic and mathematical

  • Main Class
    004
  • Sub Class
    .0151
  • Cutter no
    L926m
  • Date
    1998
  • وارد كنندة اطلاعات
    fazel^d2006/12/27 12:10:39
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=79180&Field=0&DTC=2