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 .

510 / N526