TY - BOOK AU - Monk,J.Donald TI - Mathematical logic T2 - Graduate texts in mathematics AV - QA9 M65 PY - 1976/// CY - New York PB - Springer Verlag KW - Lógica simbólica y matemática ER -