Зведений каталог бібліотек Харкова

 

510
Г47Гильберт, Д.
    Основания математики [Текст] : логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс. — М. : Наука, 1979. — 560 с.


- Теми документа

  • УДК // Математична логіка
  • УДК // Теорія чисел



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського 6 Перейти на сайт