Категорная логика
Васюков В. Л.
В данном учебном пособии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей. Подробно изучается систематическое построение исчислений категорной логики и ее применение к семантике неклассической логики. Это первое учебное пособие подобной направленности. Пособие состоит из двух частей. Первая часть посвящена исследованию дедуктивных систем и категорий. Во...
ISBN: 978-5-534-09585-2
Издательство:
Юрайт
Дата выхода: сентябрь 2019
Найденных опечаток пока нет
Добавить запись