TY  - BOOK
AU  - Kleene,Stephen Cole
TI  - Introduction to metamathematics
SN  - 0720421039
PY  - 1971///
CY  - Groningen
PB  - Wolters-Noordhoff Pub.
KW  - Metamathematics
N1  - p. 517-537
ER  -