أرسل هذا في رسالة قصيرة: Two papers on the predicate calculus / by S.C. Kleene.