TY - BOOK AU - Barkley Rosser, J TI - Logic for Mathematicians U1 - 511.3 PY - 1953/// CY - New York PB - Mcgraw-Hill Book Company KW - General Stack KW - Logic, Symbolic and mathematical KW - MathematicsLogic KW - Mathematics ER -