Two papers on the predicate calculus - Kleene, Stephen Cole 1909-1994 (American Mathematical Society, 1967)