逻辑与演绎科学方法论导论

本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。

2009.03

亚里士多德的三段论

本书从现代形式逻辑,主要是符号逻辑的观点出发,对古希腊亚里士多德所创的三段论的形式逻辑进行了解释。

2009.05