TY  - BOOK
AU  - Novikov P S
AU  - Boron L F
TI  - Elements of mathematical logic
U1  - 511.3 
PY  - 1964///
CY  - London
PB  - Oliver & Boyd
KW  - Mathematical logic
ER  -