Leigh, G., & Rathjen, M. (2012). THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC.
Chicago-referens (17:e uppl.)Leigh, G., och M. Rathjen. THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC. 2012.
MLA-referens (9:e uppl.)Leigh, G., och M. Rathjen. THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC. 2012.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.