Kleene, Stephen Cole, 1909-1994.
Introduction to metamathematics /
by Stephen Cole Kleene.
- Amsterdam : Groningen : North-Holland Pub. Co. : P. Noordhoff N.V., 1952[Reprinted 1964, 1967].
- x, 550 p. ; 24 cm.
- Bibliotheca mathematica ; v.1 .
Bibliography: p. 517-537 and index.
Metamathematics.
510.1 / KLE 1964