Introduction to Mathematical Logic - Church, Alonzo (Princeton ; New Jersey : Princenton University Press, 1956)