Varietes of constructive mathematics - Bridges Douglas; Richman Fred (Cambridge University Press, 1987)
Keywords: Constructive mathematics; Mathematical logic