书本信息
郝兆宽、杨睿之、杨跃 著
上海：复旦大学出版社
2020年8月第2版
ISBN:978-7-309-14568-7/O.674
作者简介
郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。
杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。
杨 跃：新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。
目录
第二版序
引言：什么是数理逻辑？
逻辑史早期的几个重要里程碑
课程大纲
