主要课程：数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、四论导引(公理集合论、模型论、递归论、证明论)、应用逻辑、逻辑史、逻辑哲学、程序语言设计、操作系统
买本逻辑方面的书籍 很明白的比如三段论等等
