THE FRIEDMAN-SHEARD PROGRAMME IN INTUITIONISTIC LOGIC - Leigh, G; Rathjen, M (2012)