The elements of mathematical logic - Rosenbloom, Paul C. (Dover Pudlications, 1950)