Logique mathématique, Stephen Cole Kleene · Super Livre