The role of logic in mathematics

This covers topics such as the different types of logic used in mathematics, formal systems, and the relationship between logic and truth.