1. The origins| plato.stanford.edu
1. Games in the History of Logic| plato.stanford.edu
Typically, a logic consists of a formal or informal language| plato.stanford.edu
1. Basic notions of model theory| plato.stanford.edu
