Beth Evert W. <br/><br/>
Formal methods: An introduction to symbolic logic ... 

 - Dordrecht-Holland  D. Reidel Pub. Co.     
 - xiv, 174p  cm. 
 - Synthese library .
<br/><br/><label>Standard No.: </label>244234 
<br/><br/><label>Source: </label> Textbook 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PHILOSOPHY
<br/><br/><label>Dewey Class. No.: </label>R14, K2;2