TY - BOOK AU - Rosser,J.Barkley TI - Logic for mathematicians U1 - 511.3 23 PY - 1953/// CY - New York, toronto, london PB - McGraw-Hill KW - Logic, Symbolic and mathematical N1 - Includes Index ER -