1. First-order languages and structures| 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. Lobachevskian geometry| plato.stanford.edu
