Mints, G., & Kojevnikov, A. (2006). Intuitionistic Frege systems are polynomially equivalent. Journal of Mathematical Sciences, 134(5), 2392. https://doi.org/10.1007/s10958-006-0116-8
Chicago Style (17th ed.) CitationMints, G., and A. Kojevnikov. "Intuitionistic Frege Systems Are Polynomially Equivalent." Journal of Mathematical Sciences 134, no. 5 (2006): 2392. https://doi.org/10.1007/s10958-006-0116-8.
MLA (9th ed.) CitationMints, G., and A. Kojevnikov. "Intuitionistic Frege Systems Are Polynomially Equivalent." Journal of Mathematical Sciences, vol. 134, no. 5, 2006, p. 2392, https://doi.org/10.1007/s10958-006-0116-8.
Warning: These citations may not always be 100% accurate.