Varities of constructive mathematics - Bridges Dogulos; Richman Fred (Cambridge Cambridge University Press, 1987)
Keywords: mathematics