Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.

By: Material type: TextTextSeries: Harper & Row computer science and technology seriesPublication details: New York ; London : Harper & Row, c1986.Subject(s): DDC classification:
  • 511.3 19
LOC classification:
  • BC135
Item type Home library Call number Status Date due Barcode Item holds
Two Week Loan Two Week Loan College Lane Learning Resources Centre Main Shelves 511.3 GAL (Browse shelf(Opens below)) Available 1002635233
Total holds: 0

Includes bibliographies and index.