Beth, Evert W. <br/><br/>
Formal methods :   An introduction to symbolic logic and the study of effective operations in arithmetic and logic / 
Evert W. Beth.  
 - Holland  :  D. Reidel Publishing Company,  1962. 
 - xiv, 170 p. ;  19 cm. 
 - Synthese Library / Editors B. H. Kazemier and D. Vuysje .
<br/><br/>Includes index. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, 
<br/><br/><label>Dewey Class. No.: </label>160  / BEF  1962