Classical and Intuitionistic Logic Are Asymptotically Identical.

Hervé Fournier Danièle Gardy Antoine Genitrini Marek Zaionc Classical and Intuitionistic Logic Are Asymptotically Identical. 177-193 2007 conf/csl/2007 CSL http://dx.doi.org/10.1007/978-3-540-74915-8_16 db/conf/csl/csl2007.html#FournierGGZ07