Rosser, J B Logic for mathematicians - NEW YORK MCGRAWHILL BOOKS CO 1953 - XIII, 530p p. Subjects--Index Terms: MATHEMATICS