Stephen Kleene

• Mathematical Logic