इसका टेक्स्ट मैसेज भेजे: Two papers on the predicate calculus / by S.C. Kleene.