Kleene, Stephen Cole, 1909-1994.
Introduction to metamathematics / by Stephen Cole Kleene. - Amsterdam : Groningen : North-Holland Pub. Co. : P. Noordhoff N.V., 1952. - x, 550 p. ; 24 cm. - Bibliotheca mathematica ; v.1 .
Includes index.
Bibliography: p. 517-537.
53001848
Metamathematics.
QA9 / .K65
510 / KLI
Introduction to metamathematics / by Stephen Cole Kleene. - Amsterdam : Groningen : North-Holland Pub. Co. : P. Noordhoff N.V., 1952. - x, 550 p. ; 24 cm. - Bibliotheca mathematica ; v.1 .
Includes index.
Bibliography: p. 517-537.
53001848
Metamathematics.
QA9 / .K65
510 / KLI