Крайзель, Г. <br/><br/>
Исследования по теории доказательств :  Сборник статей / 
Г. Крайзель ; Пер. с англ. Ю.А. Гастева и Г.Е. Минца; Под ред. С.Ю. Маслова. 
 - Москва :  Мир,  1981. 
 - 289 с. 
 - Математика : Новое в зарубежной науке  23 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Теория доказательств