Logic, proof methods, induction, axiomatic systems.
Entries in this area are added as they are completed.