Logics
Logics 1
Propositional Logic
- Ch. 1 Propositional Logic
- Hedman, S. (2004). A First Course in Logic: An introduction to model theory, proof theory, computability, and complexity. OUP Oxford. : §1.1-§1.9
First-order Logic
- Ch. 1 Structures and First-order Logic
- Hedman, S. (2004). A First Course in Logic: An introduction to model theory, proof theory, computability, and complexity. OUP Oxford. : §2.1-§2.7
- Ch. 2 Formal Proof for First-order Logic
- Hedman, S. (2004). A First Course in Logic: An introduction to model theory, proof theory, computability, and complexity. OUP Oxford. : §3.1-§3.5
Basic Model Theory
- Ch. 1 Basic Model Theory
- Hedman, S. (2004). A First Course in Logic: An introduction to model theory, proof theory, computability, and complexity. OUP Oxford. : §4.1-§4.7
Computability Theory
- Ch. 1 Introduction to Incompleteness
- Zach, R. (2019). Incompleteness and Computability: An Open Introduction to Gödel’s Theorems. : §1.1-§1.4
- Ch. 2 Recursive Function
- Zach, R. (2019). Incompleteness and Computability: An Open Introduction to Gödel’s Theorems. : §2.1-§2.18
- Ch. 3 Arithmetization of Syntax
- Zach, R. (2019). Incompleteness and Computability: An Open Introduction to Gödel’s Theorems. : §3.1-§3.6
- Ch. 4 Representability in $\mathbb{Q}$
- Zach, R. (2019). Incompleteness and Computability: An Open Introduction to Gödel’s Theorems. : §4.1-§4.10
- Ch. 5 Incompleteness and Provability
- Zach, R. (2019). Incompleteness and Computability: An Open Introduction to Gödel’s Theorems. : §5.1-§5.9
Logics 2
Model Theory
- Ch. 1
- Marker, D. (2006). Model theory: an introduction (Vol. 217). Springer Science & Business Media.
Proof Theory
Second-order Logic
Lambda Calculus
Type Theory
Modal Logic
Set Theory
Logics 3
