Kleene, Stephen Cole. Introduction to metamathematics by Stephen Cole Kleene. - Princeton D.Van Nostrand Company, Inc., 1952 - x,550p - The University series in Higher Mathematics . Dewey Class. No.: 510 / N526