TY  - BOOK
AU  - NOVIKOV, P.S
TI  - Elements of mathematical logic
U1  - 164 N85E 
PY  - 1964///
PB  - Edinburgh
KW  - LOGIC, SYMBOLIC AND MATHEMATICAL
ER  -