Symbolic Logic and its Decision Procedures
By: BALASUBRAMANIAN, P.
Publisher: Madras Univ. of Madras 1980Description: vi, 168 p.ISBN: 182678.Subject(s): LogicDDC classification: 160| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books in Stacks (S)
|
Main Library Arts and Humanities Section | S | 160 BAL (Browse shelf) | Available | 182678 |
There are no comments for this item.