现任中国社会科学院哲学研究所教授,中国逻辑学会副会长兼秘书长、中国逻辑学会 ... and Decidability of Intuitive Implication Logic System(2008),《集合论-泛逻辑 ...
確定! 回上一頁