Intuitionistic Frege systems are polynomially equivalent.
Mints, G. ; Kojevnikov, A.
Zapiski Nauchnykh Seminarov POMI, Tome 314 (2004), p. 129-146 / Harvested from The Electronic Library of Mathematics
Full (PS)
Publié le : 2004-01-01
EUDML-ID : urn:eudml:doc:224153 
@article{02187723,
     title = {Intuitionistic Frege systems are polynomially equivalent.},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     volume = {314},
     year = {2004},
     pages = {129-146},
     zbl = {1095.03062},
     language = {en},
     url = {http://dml.mathdoc.fr/item/02187723}
}

Mints, G.; Kojevnikov, A. Intuitionistic Frege systems are polynomially equivalent.. Zapiski Nauchnykh Seminarov POMI, Tome 314 (2004) pp. 129-146. http://gdmltest.u-ga.fr/item/02187723/