Электронный архив
Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением V1 А. Арруда
JavaScript is disabled for your browser. Some features of this site may not work without it.
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
ТОМ 41. "Воображаемая логика" Н. А. Васильева и современные неклассические логики [45]
Материалы международной научной конференции (Казань, 11 - 15 октября 2010 г.)