51
Г 474

    Гильберт, Давид.
    Основания математики. Теория доказательств [Текст] : научное издание / Д. Гильберт, П. Бернаис ; ред. С. И. Адян. - 2-е изд. - М. : Наука, 1982. - 656 с. - (Математическая логика и основания математики). - Пер. с нем. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)

510
Г 474

    Гильберт, Давид.
    Основания математики. Логические исчисления и формализация арифметики [Текст] : научное издание / Д. Гильберт, П. Бернаис ; ред. С. И. Адян. - 2-е изд. - М. : Наука, 1982. - 556 с. - (Математическая логика и основания математики). - Пер. с нем. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)