Introduction to mathematical logic - Church, Alonzo (1956)
Keywords: Mathematics; Philosophy