Introduction to metamathematics /
by Stephen Cole Kleene.
- x, 550 pages ; 23 cm
- Bibliotheca mathematica, a series of monographs on pure and applied mathematics ; v. 1 .
- Bibliotheca mathematica ; v. 1. .
Includes bibliographical references (pages 517-537) and index.