TY  - BOOK
AU  - Kleene,Stephen Cole
TI  - Introduction to metamathematics
T2  - Bibliotheca mathematica
U1  - 510.1 
PY  - 1952///[Reprinted 1964, 1967]
CY  - Amsterdam, Groningen
PB  - North-Holland Pub. Co., P. Noordhoff N.V.
KW  - Metamathematics
N1  - Bibliography: p. 517-537 and index
ER  -