Lectures

• 逻辑学赋能专业学习 — 数学
• Basic Formal Logic (Part 1)
• Basic Formal Logic (full notes)