Alonzo Church

Alonzo Church is the author of books such as Introduction To Mathematical Logic.