Two papers on the predicate calculus - Kleene, Stephen Cole 1909- (Memoirs of the American Mathematical Society ;, 1952)