Handbook of constructive mathematics - Bridges, Douglas S. 1945-; Ishihara, Hajime; Rathjen, Michael; Schwichtenberg, Helmut 1942- (Cambridge University Press, 2023)