Beth, Evert W <br/><br/>
Formal Methods :  an introduction to symbolic logic and to the Study of Efective Operations in Arithmetic and Logic 

 - Dordrecht :   Reidel,  1962 
 - 170 p. 
<br/><br/><label>Standard No.: </label>DAQ014422 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LÓGICA<br/>ARITMÉTICA<br/>OPERACIONES NUMÉRICAS
<br/><br/><label>Universal Decimal Class. No.: </label>164