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