Varities of constructve mathematics. - Bridges Douglas; Richman Fred (Cambridge Cambridge University Press, 1987)