Algoritme

dan beberapa tahun kemudian Kleene menamakan tesisnya "Tesis Church"