TY - BOOK AU - Rosser, J. Barkley TI - Logic for mathmaticians PY - 1953/// CY - New York PB - McGraw - Hill KW - CARDINAL NUMBERS KW - RELATIONS AND FUNCTIONS KW - STATEMENT CALCULUS ER -