TY - BOOK AU - Rosser, John Barkley TI - Logic for mathematicians SN - 0828402949 AV - BC 135 R58.1978 PY - 1978/// CY - New York PB - Chelsea KW - Lógica simbólica y matemática N1 - Incluye bibliografía e índice ER -