• RecordNumber
    23227
  • Title

    Logic and computer science

  • Author Statement
    Edited by piergiorgio Odifreddi
  • Publication
    Academic Press
  • Publication Year
    1990
  • Collation
    430P., tables
  • Series
    APIC Series, 31
  • Notes
    Includes bibliographical references , ISBN: 0-12-524220-4
  • Subject

    Computer Science , Logic, Symbolic and mathematical , Logic design , Logic programming

  • ADDED ENTRIES
    Odifreddi, Piergiorgio
  • LC Class
    QA
  • LC Number
    76.63
  • LC CutterNumber
    .L6
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=23227&Field=0&DTC=2