Электронный каталог


 

База данных: Книги ретро

Страница 1, Результатов: 1

Отмеченные записи: 0

517
Г47

Гильберт, Т.
    Основания математики [Текст] : логические исчисления и формализация арифметики / Пер.с нем.Н.М.Нагорного. - М. : Наука, 1979. - 557 с. - 2 руб. 70 коп. тг.

УДК

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


   ВЫСШАЯ МАТЕМАТИКА


Кл.слова (ненормированные):
формализация арифметики -- логическое исследование -- математика -- анализ -- основания математики
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (1)

Гильберт, Т. Основания математики [Текст] : логические исчисления и формализация арифметики / Пер.с нем.Н.М.Нагорного, 1979. - 557 с.

1.

Гильберт, Т. Основания математики [Текст] : логические исчисления и формализация арифметики / Пер.с нем.Н.М.Нагорного, 1979. - 557 с.


517
Г47

Гильберт, Т.
    Основания математики [Текст] : логические исчисления и формализация арифметики / Пер.с нем.Н.М.Нагорного. - М. : Наука, 1979. - 557 с. - 2 руб. 70 коп. тг.

УДК

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИКА


   ВЫСШАЯ МАТЕМАТИКА


Кл.слова (ненормированные):
формализация арифметики -- логическое исследование -- математика -- анализ -- основания математики
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (1)

Страница 1, Результатов: 1

 

Все поступления за 
Или выберите интересующий месяц