Two papers on the predicate calculus - Kleene, S. C. (Memoirs of the American Mathematical Society. No. 10, 1952)