TY - BOOK TI - Математическая логика: Mathematical logic : Труды конференции по математической логике, посвященной памяти А.А. Маркова (1903-1979) София, 22-23 сентября 1980 г PY - 1984/// CY - София PB - БАН KW - Математическая логика ER -