TY  - BOOK
AU  - Ershov, Yu L 
AU  - Ershov, Yu L 
AU  - Palyutin, E A 
TI  - Mathematical Logic
U1  - 511.3 ERS 
PY  - 1984///
CY  - Moscow
PB  - :MIr Publishers 
KW  - Mathematics
KW  - General principles of mathematics
KW  - Logic, Symbolic and mathematical
KW  - Logique symbolique et mathématique
ER  -