Гильберт Д. Бернайс П. <br/><br/>
Основания математики. Теория доказательств. 
Под ред. С.И. Адяна. Пер. с немецкого Н.М. Нагородного. 
 - Москва  Наука  1982 
 - 652 с. 22 см. 
<br/><br/><b>საგნობრივი რუბრიკები: </b><br/>Основания математики. Теория доказательств. 
<br/><br/><b>UDC: </b>510.2