来源:《数学研究与评论》1989年第01期  作者:朱梧槚,肖奚安
选择字号

答《中介数学没有包括经典数学》一文及其它

收藏本文  分享

(一)关于经典逻辑演算之推演规划是中介逻辑演算之导出规则的证明。 朱水林同志在文中简括而确切地指出:“我们可以把上面关于中介数学和经典数学之关系的引文简括成一个结论和两个论据:(本文共计3页)......[继续阅读本文]

下载阅读本文订阅本刊

图书推荐

    相关文章推荐

    看看这些杂志对你有没有帮助...

    更多杂志>>