論理システムの核心論理システムの核心る。様々な論理フレームワークの相互関係を調べ論理学異なる論理体系とその相互関係古典論理、直観論理、線形論理の概要とその翻訳。2025-06-13T01:03:17+00:00 ― 0 分で読む