TY  - BOOK
AU  - Novikov, P. S.
TI  - Elements of mathematial logic
U1  - 164 
PY  - 1964///
CY  - London
PB  - Oliver & Boyd
KW  - Lógica simbólica y matemática
ER  -