Enviar aquest missatge de text: Two papers on the predicate calculus / by S.C. Kleene.