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

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

510.6
Г47Гильберт, Д.
    Основания математики [Текст] : Логич. исчисления и формализация арифметикиПер. с нем. / Под ред. С.И. Адаяна. — М. : Наука, 1979. — 557с.

- Ключові слова:

логіка математична, логика математическая ; математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik

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

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



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 3 Перейти на сайт