#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das | Type Theory Forall | Podwise