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

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

16
Г47Гильберт, Д.
    Основы теоретической логики [Текст] : пер. с нем. / под ред. С.А. Яновской. — М. : Иниздат, 1947. — 306 с.

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

  • УДК // Логіка доказу стверджень (теорем). Числення викладів (формулювань).
  • УДК // Логіка понять. Числення тверджень та класів (предикатів і класів). Функццї з однією змінною.
  • УДК // Логістика. Символічна логіка. Математична логіка. Логічне числення



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