Kleene, Stephen Cole <br/><br/>
Introduction to metamathematics 

 - New York:   D. Van Nostrand,   1952. 
 - x, 550 p. 
 - The University series in higher mathematics .
 - The University series in higher mathematics .
<br/><br/><label>Subjects--Topical Terms: </label><br/>LOGICA MATEMATICA<br/>LOGICA FORMAL<br/>MATEMATICA COMPUTACIONAL<br/>MATEMATICA COMPUTACIONAL<br/>CONJUNTOS (MATEMATICA)<br/>CALCULO PROPOSICIONAL<br/>FUNCIONES RECURSIVAS<br/>RECURSIVIDAD
<br/><br/><label>Universal Decimal Class. No.: </label>510.6