Oulie
Varieties of Constructive Mathematics by Douglas Bridges, Fred Richman — Oulie