Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee
Material type: BookSeries: Computer Science and Applied Mathematics, a Series of Monographs and TextbooksPublication details: New York Academic Press 1973Description: xiii, 331p, incl bibl. & indSubject(s): DDC classification:- 511.3 N732;1
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | JRD Tata Memorial Library | 511.3 N732;1 (Browse shelf(Opens below)) | Available | 81155 |
There are no comments on this title.