Get the app
Lars Kristiansen
Author of A Friendly Introduction to Mathematical Logic.
The AI-powered Podcast Player
Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
Get the app