Introduction to metamathematics / by S.C. Kleene. - Kleene, S. C. (North-Holland, 1952)