Help

Audiobooks

Podcasts

Audible Originals

Latino and Hispanic voices

All categories

Plans & Pricing

Bestsellers

Coming Soon

New Releases

Best of the Year

Best of #BookTok

Plus Catalog

Gifts

Help Center

About Audible

Blog

Sales & Deals

Accessibility

aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory Podcast By cover art

aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory

Failed to add items

Sorry, we are unable to add the item because your shopping cart is already at capacity.

Add to Cart failed.

Please try again later

Add to Wish List failed.

Please try again later

Remove from wishlist failed.

Please try again later

Adding to library failed

Please try again

Follow podcast failed

Please try again

Unfollow podcast failed

Please try again

aboutlogic #01 | Thorsten Altenkirch – Theorem Proving, Constructive Math & Type Theory

Listen for free

View show details

No reviews yet