TY - BOOK AU - Wang, Hao, TI - Popular lectures on mathematical logic SN - 0442231091 AV - QA9 W344 PY - 1981/// CY - New York PB - Van Nostrand Reinhold KW - Lógica simbólica y matemática ER -