Describir: Two papers on the predicate calculus / by S.C. Kleene.