Поиск :
Личный кабинет :
Электронный каталог: Черч, А. - Введение в математическую логику
Черч, А. - Введение в математическую логику
Многотомник
Автор: Черч, А.
Введение в математическую логику : В 1 т.
Издательство: Изд-во иностр. лит., б.г.
ISBN отсутствует
Автор: Черч, А.
Введение в математическую логику : В 1 т.
Издательство: Изд-во иностр. лит., б.г.
ISBN отсутствует
На полку
Многотомник
С14
Черч, А.
Введение в математическую логику : В 1 т. / А.Черч ; Пер. с англ.: В.С.Чернявский ; Ред. пер. с англ.: В.А.Успенский. – М. : Изд-во иностр. лит.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14
Черч, А.
Введение в математическую логику : В 1 т. / А.Черч ; Пер. с англ.: В.С.Чернявский ; Ред. пер. с англ.: В.А.Успенский. – М. : Изд-во иностр. лит.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
