Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.
Material type:
TextSeries: 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
|
College Lane Learning Resources Centre Main Shelves | 511.3 GAL (Browse shelf(Opens below)) | Available | 1002635233 |
Total holds: 0
Includes bibliographies and index.