Constructivism in mathematics : an introduction - Troelstra A S; Dalen D Van (Amsterdam North Holand, 1988)
Keywords: Constructive mathematics; Mathematical logic