郝兆宽；杨睿之；杨跃

本书从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完...