TY  - BOOK
AU  - Ershov, Yu L; Playutin, E A
TI  - Mathematical logic
U1  - PG 511.3  ERS-M 
PB  - Mir Publishers, Moscow
KW  - Mathematical logic; Mathematics
ER  -