Beth Evert W <br/><br/>
Formal methods. 

 - Holland  D Reidel Publishing       1962 
 - xiv,170p.  cm. 
 - Synthese library. .
<br/><br/><label>Standard No.: </label>44332 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Dewey Class. No.: </label>R14, K2