TY  - BOOK
AU  - Ershov, Yu L.
TI  - Mathematical logic
U1  - 510.6 
PY  - 1984///
CY  - Moscow
PB  - Mir Publishers
KW  - MATHEMATICS
KW  - LOGIC
ER  -