TY  - BOOK
AU  - Ershov, Y.U.
AU  - Palyutin, E.A.
TI  - Mathematical logic
U1  - 511.3 
PY  - 1984///
CY  - Moscow
PB  - Mir Publisher
KW  - Mathematical logic
ER  -