TY  - BOOK
AU  - ERSHOV Yu.L
AU  -  PALYUTIN E.A.
TI  - Mathematical logic
U1  - B, M4/SC 
PY  - 1984///
CY  - Moscow
PB  - Mir Publishers         
ER  -