Study
List of Featured Online Courses
Coursera
Introduction to Mathematical Thinking
-
MIT-OpenCourseWare
Mathematics for Computer Science (Fall 2010)
-
Textbooks
Chinese Textbooks
《面向计算机科学的数理逻辑》
陆钟万
《数理逻辑》
汪芳庭
数理逻辑
邢滔滔
English Textbooks
数理逻辑
H.D.Ebbinghaus
