Handbook of Constructive MathematicsDouglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg · First published 2023Open the Tome