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

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

510.6
Г47Гильберт, Д.
    Основания математики: Теория доказательств [Текст] : Пер. с нем. / Под ред. С.И. Адаяна. — М. : Машиностроение, 1982. — 652с.

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

доведення теорем, доказательство теорем ; теорія доведення, теория доказательства ; теорема

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

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



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