中教数据库
我是读者 我是作者 期刊社 学术百科
期刊
期刊
论文

    经典命题演算形式系统

    更新时间:-- | 阅读量: 61

    胡世华,数理逻辑学家。是中国开展数理逻辑研究的代表人物之一,倡导将逻辑研究与数学紧...在《No-值命题演算的有穷值的具有函数完全性的子系统》一文中，他给出了一种方法，这种方法可以把任何一个完全的具有函数的完全性的有穷值命题演算嵌入到一个 ...

    搜索到与“ 经典命题演算形式系统”相关的文献共 0条

    查看更多

    经典命题演算形式系统相似词

    经典命题演算形式系统相关词

    经典命题演算形式系统相关期刊

    《计算机科学技术学报（英文版）》

    《Journal of Computer Science & Technology》

    《软件学报》

    《小型微型计算机系统》

    《控制工程》

    《内科》

    010-56259535

    关注中教数据库

    Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved

    京ICP备2021021570号-13

    京公网安备 11011102000866号