Beth, Evert Willem <br/><br/>
Formal methods  an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. 

 - Dordrecht  D. Reidel Publishing  1962. 
 - 170 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical