• RecordNumber
    17028
  • LC Class
    QA
  • LC Number
    9
  • LC CutterNumber
    .A1,L64
  • Dewey Class
    511
  • Dewey Date
    .3
  • Title

    Logic from computer science

  • Author Statement
    Y.N. Moschovakis, editor
  • Publication
    Springer-Verlag
  • Publication Year
    c1992
  • Collation
    xi, 608 p.: ill.; 24 cm
  • Series
    Mathematical Sciences Research Institute publications ; v. 21
  • Subject

    Logic, Symbolic and mathematical- Congresses,Computer science- Congresses

  • ADDED ENTRIES
    Moschovakis, Yiannis N
  • Holding Info.
    0387976671
  • Original By
    76/04
  • DocumentNumber
    39453
  • SubTitle
    : proceedings of a workshop held November 13-17, 1989
  • Biblography
    Includes bibliographical references
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=17028&Field=0&DTC=100