TY - BOOK AU - Novikov,P.S. AU - Boron, Leo F. [tr.] TI - Elements of mathematical logic U1 - 164 PY - 1964/// CY - London PB - Oliver & Boyd KW - Logic, Symbolic and mathematical KW - Logic -- Mathematical ER -