Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> философия
----> логика
------> классическая логика
--------> натуральный вывод
Печать списка
Доступно
1 из 1
--> философия
----> логика
------> классическая логика
--------> натуральный вывод
Рубрика
- Название:
- натуральный вывод
- См. также:
- 87.458.21
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
Правиц, Даг
Натуральный вывод: Теоретико-доказательственное исследование:[Пер.]
Лори, 1997 г.
ISBN 5-85582-026-2
Правиц, Даг
Натуральный вывод: Теоретико-доказательственное исследование:[Пер.]
Лори, 1997 г.
ISBN 5-85582-026-2
Заказать 
На полку
Книга (аналит. описание)
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует
Хохлов, Сергей Валерьевич
Независимость правил вывода в предикатных системах натурального вывода
б.г.
ISBN отсутствует