TY - BOOK AU - Rosser,J. Barkley TI - LOGIC FOR MATHEMATICIANS U1 - 164 PY - 1953/// CY - PB - Mcgraw-Hill, New York KW - Logic, Symbolic And Mathematical ER -