TY - BOOK AU - Thomason, Richmond H., TI - Symbolic logic; and introduction AV - QA9 T45 PY - 1970/// CY - London PB - Macmillan KW - Lógica simbólica y matemática ER -