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