TY  - BOOK
AU  - Kleene,Stephen Cole
TI  - Introduction to metamathematics
T2  - Bibliotheca mathematica. Ser. of monographs on pure and applied mathematics ; 
PY  - 1952///
CY  - Amsterdam : 
PB  - North Holland, 
KW  - MATEMATICAS
N1  - Bibliografía, p. 517-537
ER  -