TY  - BOOK
AU  - Kleene,Stephen Cole
TI  - Introduction to metamathematics
T2  - Bibliotheca mathematica
PY  - 1967///
CY  - Amsterdam, Groningen
PB  - North-Holland Publishing Company, P. Noordhoff
N1  - Bibliografia (p. 517-537) e indice
ER  -