TY - BOOK AU - Rosser, J. Barkley, TI - Logic for mathematicians U1 - 164 PY - 1953/// CY - New York PB - McGraw-Hill KW - LOGICA MATEMATICA KW - TEORIA DE CONJUNTOS ER -