Mathematical logic - Church, Alonzo, 1903-1995 (University, 1936)