TY - BOOK AU - Rosser, J B TI - Logic for mathematicians PY - 1953/// CY - NEW YORK PB - MCGRAWHILL BOOKS CO KW - MATHEMATICS ER -