Stephen Cole Kleene

Stephen Cole Kleene is the author of books such as Mathematical Logic.