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

By: Gallier, Jean HMaterial type: TextTextSeries: Harper & Row computer science and technology seriesPublication details: New York ; London : Harper & Row, c1986. Subject(s): Logic, Symbolic and mathematical | Automatic theorem proving | logic mathematical | Mathematical logicDDC classification: 511.3 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.

Powered by Koha