
Традиционная и современная формальная логика
Автор:
В книге излагаются различные реконструкции традиционной формальной логики. Автор показывает, как эта логика может быть представлена с помощью алгебраической полуструктуры, а также излагает силлогистику в виде формальной аксиоматической системы и системы натурального вывода.
- 1969 г.
Материалы
Отзывы
Раз в месяц дарим подарки самому активному читателю.Оставляйте больше отзывов, и мы наградим вас!
Цитаты
Вы можете первыми опубликовать цитату