TY - BOOK AU - Robinson,Gerson B. TI - An introduction to mathematical logic AV - QA9 R588 PY - 1969/// CY - Englewood cliffs PB - Prentice-Hall KW - Lógica simbólica y matemática ER -