矢列式
（数理逻辑 名词）
矢列式（sequent）是1993年公布的数学名词。
加载更多
领域
提 交
数理逻辑
数学
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》