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): DDC classification: - 511.3 19
- 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.