Vol-1286⫷ Vol-1287 ⫸Vol-1288
urn:nbn:de:0074-1287-0


Vol-1287/lanmr2014_paper_2⫷Vol-1287/lanmr2014_paper_3⫸Vol-1287/lanmr2014_paper_4
Edward Hermann Haeusler

How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning