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