Over deze podcast

aboutlogic is a podcast on logic, foundations of mathematics, philosophy, and theoretical computer science.aboutlogic features in-depth conversations with people working in and around the foundations of these subjects. We talk about topics ranging from the foundations of computer science and set the