Notes to Independence Friendly Logic| plato.stanford.edu
1. First-order languages and structures| plato.stanford.edu
