Логический вывод
-
Сейчас читают
-
Отложили
-
Прочитали
-
Не дочитали
Авторы книги исследуют различные способы формализации логического вывода, разрабатывают технику натурального вывода, предлагают новые методы установления выводимости и невыводимости для широкого класса логических систем. Значительное внимание уделено проблемам вывода в интуиционистской, модальной, временной и релевантной логиках.
- 1979 г.
Материалы
Отзывы
Раз в месяц дарим подарки самому активному читателю.Оставляйте больше отзывов, и мы наградим вас!
Цитаты
Вы можете первыми опубликовать цитату