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