The elements of mathematical logic - Rosenbloom, Paul C. ([s.n.], 1950)