本书内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Gode...
2010.8
本书为中国社会科学院研究生重点教材之一种,本书叙述了数理逻辑的基本内容,如经典一阶逻辑的句法、语义、...
2010.2