TY  - BOOK
AU  - Ershov,YuL
AU  - Palyutin,E.A.
AU  - V.Shokurov
TI  - Mathematical logic
U1  - 511.3 14
PY  - 1984///
CY  - Moscow
PB  - Mir
KW  - Logic, Symbolic and mathematical
KW  - Logíc toán
KW  - Phép tính logíc
N1  - Translation of: Matematicheskai︠a︡ logika; aIncludes indexes
ER  -