Oulie
Handbook of Constructive Mathematics by Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg — Oulie