TY - BOOK AU - Ershov, Yu. L. AU - Palyutin, E. A. AU - Shokurov, Vladimir., tr. TI - Mathematical logic U1 - 510.3 PY - 1984/// CY - Moscow PB - Mir Publishers ER -