1. A Brief Overview of Dialogical Logic| plato.stanford.edu
1. First-order languages and structures| plato.stanford.edu
1. Basic notions of model theory| plato.stanford.edu
