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