一阶谓词演算自然演绎型直觉主义系统NDPI
刘大中,董克诚
Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus
河北大学学报(自然科学版) . 2003, (4): 422 -424 .  DOI: 10.3969/j.issn.1000-1565.2003.04.021

版权所有 © 《河北大学学报(自然科学版)》编辑部
地址：河北省保定市五四东路180号 河北大学期刊社　邮编：071002
本系统由北京玛格泰克科技发展有限公司设计开发　技术支持：support@magtech.com.cn