Introduction to mathematical logic - Church, Alonzo n. 1903 (Princeton mathematical series / editors Luis A. Caffarelli, John N. Mather, and Elias M. Stein, 1956)