Why intuitionistic logic is de-constructiveDate: November 22, 2013See draft of talk here Previous Next