Beth, Evert W. <br/><br/>
Formal methods:  an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / 
Evert W. Beth 
 - Dordrecht: D. Riedel Publishing, 1962 
 - 170 p. :  illus. ;  23 cm. 
 - Synthese library .
<br/><br/>Includes bibliography and index 
<br/><br/><label>LCCN: </label>62-003731 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical