UNE Mathematical Logic Research Group
powered by TidyHQA First Course in Logic
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
π Link: https://une-au.zoom.us/j/84663513860?pwd=95dZ78UkBs0KvnZawU8GzKniAPRSYK.1
