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

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

1963.4

数理哲学导论

本书是罗素的数理哲学的通俗著作。在本书中罗素以他的明白晓畅的笔法陈述了数学原理研究中确定的研究结果。

1982.10