Kazan Federal University Digital Repository
Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением V1 А. Арруда
JavaScript is disabled for your browser. Some features of this site may not work without it.
Files in this item
This item appears in the following Collection(s)
-
ТОМ 41. "Воображаемая логика" Н. А. Васильева и современные неклассические логики [45]
Материалы международной научной конференции (Казань, 11 - 15 октября 2010 г.)