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


 

База данных: Электронная библиотека

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

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

22.12
Г47

Гильберт, Д.
    Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман. - М. : [б. и.], 1947. - 88 с. - Б. ц.

ББК 22.12

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

   МАТЕМАТИЧЕСКАЯ ЛОГИКА


Кл.слова (ненормированные):
исчисление высказываний -- логическая связь -- эквивалентности -- принцип двойственности -- сложные высказывания -- аксиомы -- исчисления высказываний -- вывод формул -- полнота системы -- исчисление классов -- символики исчислений -- исчисление предикатов -- проблема разрешимости

Доп.точки доступа:
Аккерман, В.

Гильберт, Д. Основы теоретической логики [Электронный ресурс] / Д. Гильберт, В. Аккерман, 1947. - 88 с.

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

 

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