TY - BOOK AU - Hamilton, Alan G TI - Logic for mathematicians SN - 0-521-29291-3 AV - QA 9 H298.1988 PY - 1990///, c1988 CY - Cambridge PB - Cambridge University KW - Lógica simbólica y matemática N1 - "Revised edition"; Incluye referencias, glosario e índice ER -