TY  - BOOK
AU  - Ershov,YuL.
AU  - Palyutin,E.A.
TI  - Mathematical logic
U1  - AKB518.1 
PY  - 1984///
CY  - Moscow
PB  - Min Publication
KW  - Mathematics , Algorithms
ER  -