搜索筛选:
搜索耗时0.6130秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：甘晓丽,
来源：社会科学家 年份：2007
本文定义了命题逻辑的所有合式公式组成的集合上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与中关于合式公式结构的归纳法等价的几个条件。...
相关搜索：
