Pošalji tekstualnu poruku: Two papers on the predicate calculus / by S.C. Kleene.