Крайзель, Г. <br/><br/>
Исследования по теории доказательств :  Сборник статей / 
Г. Крайзель ; Перевод с англ. Ю. А. Гастева, Г. Е. Минца. 
 - Москва :  Мир,  1981. 
 - 289 с.  21см. 
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკური ლოგიკა თეორემის მტკიცებულება 
<br/><br/><label>Universal Decimal Class. No.: </label>510.2+510.6