TY  - BOOK
AU  - Kleene,Stephen Cole
TI  - Introduction to metamathematics
T2  - Bibliotheca mathematica, a series of monographs on pure and applied mathematics
SN  - 0720421039
AV  - QA9 .K65 1974
U1  - 510 23
PY  - 1952///, c1971, 1974 printing
CY  - Groningen
PB  - Wolters-Noordhoff
KW  - Metamathematics
N1  - Includes bibliographical references (pages 517-537) and index
ER  -