结构证明论研究形式系统中证明的结构.本书介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明...
2019.6
《论证是一门学问》是一本全面、实用、精炼、有趣、直击要害的论证规则手册。本书运用大量易于理解、有趣、...
2019.4