Introduction to mathematical logic - Church Alonzo (1956)
Keywords: Philosophy of maths