TY  - BOOK
AU  - Ershov, Yu.L..
AU  - Palyutin, E.A..
TI  - Mathematical Logic
U1  - 511.3 
PY  - 1984///
CY  - Moscow
PB  - Mir Publishers
KW  - Mathematical Logic
KW  - G-Mathematics
N1  - Index
ER  -