Leigh, G., & Rathjen, M. (2012). THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC.
芝加哥风格引文Leigh, G., 与 M. Rathjen. THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC. 2012.
MLA引文Leigh, G., 与 M. Rathjen. THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC. 2012.
警告：这些引文格式不一定是100％准确.