论直觉主义谓词逻辑的矢列式自然演绎系统
Publisher： 国家哲学社会科学学术期刊数据库
E-ISSN： 1672-7835|19|5|30-35
ISSN： 1672-7835
Source： 湖南科技大学学报：社会科学版, Vol.19, Iss.5, 2016-01, pp. : 30-35
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract