A First Course in Logic

πŸ“š Title: A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity

πŸ‘¨πŸ»‍πŸ’» Author: Shawn Hedman

πŸ—“οΈ Month: April 2025

πŸ‘¨‍🏫 Lecturer: Jack Palmer

 

πŸ“† Meeting Dates -

  • Week 1: April 3 – Introduction & Chapter 1: The Concept of Proof

  • Week 2: April 10 – Chapter 2: Sequent Calculus & Cut-Elimination

  • Week 3: April 17 – Chapter 3: Consistency Proofs & Ordinal Analysis

  • Week 4: April 24 – Problem-Solving Workshop & Applications

πŸ“ Location: Online
πŸ”— Linkhttps://une-au.zoom.us/j/84663513860?pwd=95dZ78UkBs0KvnZawU8GzKniAPRSYK.1