## Advanced
1. Propositional logic
2. First Order Logic
3. Higher Order Logic
3. Proof theory
4. Model theory
5. Algebraic Logic
6. Intuitionistic logic