BALASUBRAMANIAN, P. <br/><br/>
Symbolic Logic and its Decision Procedures 

 - Madras  Univ. of Madras  1980 
 - vi, 168 p. 
<br/><br/><label>ISBN: </label>182678 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic
<br/><br/><label>Dewey Class. No.: </label>160  / BAL