逻辑

本书所介绍的主要是逻辑中的演绎法，前两部分是对传统逻辑的介绍与批评，第三部分介绍了一个现代西方数理逻辑系统，第四部分则就关于逻辑系统的种种问题进行了深入的探讨。