Mathematical Logic for Beginners | Complete Study Course

This course provides a guided tour of mathematical logic, covering first-order logic, model theory, computability, incompleteness, set theory, intuitionistic logic, proof theory, and modal logics. Based on Peter Smith's Study Guide, it helps you navigate the best textbooks and resources for each topic. You'll gain a deep understanding of key concepts and be equipped to pursue further study in logic.