Notes to Independence Friendly Logic| plato.stanford.edu
1. First-order languages and structures| plato.stanford.edu
1. Basic notions of model theory| plato.stanford.edu
