TY - BOOK AU - Магнарадзе,Л.Г. TI - Исследования по математической логике и теории алгоритмов: [Сборник статей] PY - 1975/// CY - Тбилиси PB - Б.и. KW - Математическая логика ER -