极小完全集相关论文
这篇硕士论文集中了作者在攻读硕士学位期间的主要研究成果. 第一章绪论中，主要对数理逻辑、λ-演算和组合逻辑作一个概述并阐明......
在4个一元16个二元联结词的范围内，给出了由联结词构成的集合的可表出性的概念，处理了联结词集之间的关系并作了一些关于联结词的完......
