本专著详细论述了作者在亚里士多德三段论形式化研究和自动推理研究上取得的重大进展和创新性成果。
2009.03
普遍主义和特殊主义、义务论和目的论、自由主义和社群主义、抽象的正义原则和具体的道德生活之间的分歧和争...
2009.
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
1963.4
本书对批判性推理进行了简明扼要、跨学科的介绍，成功地激发学生质疑自己的假设，并通过分析与日常推理相关...
2010.7