Kalish D <br/><br/>
Logic techniques of formal reasoning 

 - Harcourt Brace  Chicago  1964 
<br/><br/><label>LC Class. No.: </label>BC 71   / K3 1964