TY - BOOK AU - Hodel,Richard E. TI - An introduction to mathematical logic SN - 9780486497853 AV - QA9 H63 U1 - 511.3 20 PY - 2013/// CY - Mineola, New York PB - Dover Publications KW - Lógica simbólica y matemática ER -