164 Ros E Rosenbloom, Paul C The elements of mathematical logic. [New York] Dover, 1950. 214 p. 21 cm. (The Dover series in mathematics and physics) Bibliografia: p. 194-208