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

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

2009.03