TY  - BOOK
AU  - Novikov P S
TI  - Elements of mathematical logic
U1  - B:R1, K42;2 
PY  - 1964///
CY  - London
PB  - Oliver & Boyd       
KW  -  Mathematical logic
KW  - Mathematics
ER  -