Гильберт, Давид <br/><br/>
Основания математики :  Лог. исчисления и формализация арифметики / 
Давид Гильберт, Паульс Бернайс ; Пер. с нем. Н. М. Нагорного. 
 - Москва :  Наука,  1979. 
 - 557 с. :   ил. 
 - Мат. логика и основания математики .
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკა მათემატიკური ლოგიკა 
<br/><br/><label>Universal Decimal Class. No.: </label>510.5