TY - BOOK AU - Walicki,Micha TI - Introduction to mathematical logic SN - 9789814343862 (encuadernado) AV - QA9 W343 U1 - 511.3 23 PY - 2012/// CY - Singapore PB - World Scientific KW - Lógica simbólica y matemática ER -