Handbook of constructive mathematics - Bridges, Douglas S. 1945-; Ishihara, Hajime; Rathjen, Michael; Schwichtenberg, Helmut 1942- (Encyclopedia of mathematics and its applications, 2023)