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