Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee.
Material type:
TextSeries: Computer science and applied mathematicsPublication details: New York ; London : Academic Press, 1973.Subject(s): DDC classification: - 511.3 18
- 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 CHA (Browse shelf(Opens below)) | Available | 100275613X |
Total holds: 0
Bibliographyp.309-324. - Includes index.