Mathematical Logic door Mathematics, Stephen Kleene & Stephen Cole Kleene