Leigh, G., & Rathjen, M. (2012). THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումLeigh, G., and M. Rathjen. THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC. 2012.
MLA (9րդ խմբ.) ՄեջբերումLeigh, G., and M. Rathjen. THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC. 2012.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.