Logic What counts as a proof, and what can be proved at all. The border between mathematics and philosophy 6 courses, 534 lecture recordings, about 84 hours. Courses in the order you learn them Introduction to logic Mathematical logic Computability theory Set theory Theory of computation Model theory The map of knowledge