Гильберт, Давид

Основания математики : Логич. исчисления и формализация арифметики / ДавидГильберт ; Пер. с нем. Н. М. Нагорного. - Москва : Наука, 1982. - 556 с. : ил. - Мат. логика и основания математики .

მათემატიკა მათემატიკური ლოგიკა

510.5