BALASUBRAMANIAN, P.

Symbolic Logic and its Decision Procedures - Madras Univ. of Madras 1980 - vi, 168 p.

182678


Logic

160 / BAL