Introduction to metamathematics /
Kleene, Stephen Cole,1909-
Amsterdam : North-Holland Publishing Co., Groningen : P. Noordhoff N.V.,
1952.
Also published: New York : Van Nostrand, 1952, in the University series in higher mathematics.
"Written to be usable as a text book by first year graduate students in mathematics (and above)". -Pref.
Includes index.
Bibliography: p. 517-537.
Logic, Symbolic and mathematical
Metamathematics.
Mathematics
Netherlands Amsterdam.