TY - BOOK AU - Eršov, J. L. AU - Paljutin, E. A. TI - Mathematical logic PY - 1984/// CY - Μ. PB - Mir KW - В12 KW - rubbk ER -