Исследования по теории доказательств Сборник статей

Крайзель, Георг.
     Исследования по теории доказательств : Сборник статей / Г. Крайзель ; Пер. с англ. Ю. А. Гастева и Г. Е. Минца ; под ред. С. Ю. Маслова. — Москва : Мир, 1981. — 289 с. (Математика : новое в зарубежной науке ; 23).

Ред. сер.: А.Н. Колмогоров, С.П. Новиков.
Библиогр. в конце разд.

Гастев, Юрий Алексеевич, пер.
Минц, Григорий Ефроимович, пер.
Маслов, Сергей Юрьевич, ред.

УДК: 510.77 ; 510.6

[ SYS NUM: 30327 ]