Introduction to metamathematics /
by Stephen Cole Kleene.
- Groningen : Wolters-Noordhoff Amsterdam : North-Holland ; New York : American Elsevier, 1971.
- x, 550 p.
- Bibliotheca mathematica ; v. 1 / edited with the cooperation of the "Mathematisch Centrum" and the "Wiskundig Genootschap" at Amsterdam ; editors, N. G. de Bruijn, J. de Groot, A. C. Zaanen .