Notes, lectures, courses, tutorials etc.

Basics

  1. First course in logic :

  2. Second course in logic :

  3. Theory of truth :

  4. Philosophical and modal logic:

  5. Logique des conditionnels :

  6. Proof theory and substructural logics :

  7. Consequence relations :

  8. Arithmetic and metamathematics:

  9. Many-valued logic:

  10. Linguistics and formal semantics :

  11. Grammars :
Advanced

  1. Model theory, set theory, calculability :

  2. Computability :

  3. Proof-theory :

  4. Lambda-calculus :

  5. Arithmetics:

  6. Modal logics :

  7. Reflection principles:

  8. Infinitary logic and admissible sets :

  9. Algebra :





Comments