TY - BOOK AU - Rosser , Barkley J TI - Logic for mathematicians U1 - 164 PY - 1953/// CY - New York PB - McGraw Hill KW - Logic ER -