本书从现代形式逻辑，主要是符号逻辑的观点出发，对古希腊亚里士多德所创的三段论的形式逻辑进行了解释。
1981.5
2011.8
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
本书的翻译旨在将西方学术界在这一领域产生的新思想、新理论乃至一些新的研究方法介绍给国人，期望对国内心...
2011.1