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 - Holland  D.Reidel  c1962 
 - xiv,170p.;  23cm. 
 - Synthese Library .
<br/><br/><label>Dewey Class. No.: </label>511.3  / BET