TY  - BOOK
AU  - Крайзель,Георг
AU  - Гастев,Юрий Алексеевич
AU  - Минц,Григорий Ефроимович
AU  - Маслов,Сергей Юрьевич
TI  - Исследования по теории доказательств: Сборник статей
T2  - Математика : новое в зарубежной науке
PY  - 1981///
CY  - Москва
PB  - Мир
N1  - Ред. сер.: А.Н. Колмогоров, С.П. Новиков; Библиогр. в конце разд
ER  -