TY - BOOK AU - Novikov, P. S. TI - Elements of mathematical logic T2 - Adiwes international series in mathematics AV - QA9 N63 PY - 1964/// CY - Edinburgh PB - Oliver and Boyd KW - Lógica simbólica y matemática ER -