Поиск :
Личный кабинет :
Электронный каталог: Смирнов, Владимир Александрович - Теория логического вывода
Смирнов, Владимир Александрович - Теория логического вывода
Доступно
1 из 1
1 из 1
Книга
Автор: Смирнов, Владимир Александрович
Теория логического вывода
Издательство: РОССПЭН, 1999 г.
ISBN отсутствует
Автор: Смирнов, Владимир Александрович
Теория логического вывода
Издательство: РОССПЭН, 1999 г.
ISBN отсутствует
Заказать 
На полку
Книга
С 14 С-506
Смирнов, Владимир Александрович.
Теория логического вывода / Владимир Александрович Смирнов. – М. : РОССПЭН, 1999. – 318 с. : ил. – Библиогр.: с.305-314.
С 14 + 16
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = философия
Ключевых слов = логика
Ключевых слов = логические исчисления
С 14 С-506
Смирнов, Владимир Александрович.
Теория логического вывода / Владимир Александрович Смирнов. – М. : РОССПЭН, 1999. – 318 с. : ил. – Библиогр.: с.305-314.
С 14 + 16
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ключевых слов = философия
Ключевых слов = логика
Ключевых слов = логические исчисления
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |