TY - BOOK AU - Ershov,Yu.L AU - Ershov,Yu.L AU - Palytin,E.A. TI - Mathematical Logic PY - 1984/// CY - Moscow PB - Mirpublisher KW - Mathematical Logic ER -