TY  - BOOK
AU  - Novikov,Petr Sergeevich
TI  - Elements of mathematical logic
U1  - 511.3 
PY  - 1964///
CY  - Edinburgh
PB  - Oliver & Boyd
KW  - LOGICA SIMBOLICA Y MATEMATICA
ER  -