BALASUBRAMANIAN, P.
Symbolic Logic and its Decision Procedures - Madras Univ. of Madras 1980 - vi, 168 p.
182678
Logic
160 / BAL
Symbolic Logic and its Decision Procedures - Madras Univ. of Madras 1980 - vi, 168 p.
182678
Logic
160 / BAL