Mathematical Logic

Reading materials and resources:

• T.A. Slaman and W. H. Woodin. Mathematical Logic (The Berkeley undergraduate course). Preprint. December 2019.
• H. Enderton. A Mathematical Introduction to Logic.
  • 人民邮电出版社. 2006. （有中文译本，但墙裂;)不推荐）
  • Harcourt/Academic Press, Burlington, MA, second edition, 2001.
• BBC 纪录片: The joy of logic (from Bilibili)
• 一本漫画书： Logicomix (122Mb).
• 维基百科（英文）: en.wikipedia.org
• mathoverflow: mathoverflow.net
• 知乎: zhihu.com

Other information:

• Email: nc\(.\)ude\(.\)unbxyz\(@\)ihs
• Homework: Homework problems are assigned every week along the course in the lecture slides, and due in two weeks.
• Teaching assistant: 彭杨波(Time & locations: TBA)

Updates:

Files:

• Lecture Slides:
  • Introduction
  • Propositional Logic: 01, 02, 03,
• Homework Solutions:
• Miscellaneous:
  
  ==============
  Last modified at