Book I: Variables and Formulas

1. An introduction to the mathematical language

2. Conjunction and disjunction

3. Quantification

4. Negation and Implication