Исследования по теории доказательств: сборник статей; пер. с англ. - Крайзель Г. (Математика. Новое в зарубежной науке 23)