本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，第1-4章为基础内容，第5-6章为高...
2020.8
结构推理是现代逻辑的重要推理方式之一，它通过对各种结构规则的研究，从整体上处理一大类逻辑，具有良好的...
2020.6