SMS dit: Varieties of constructive mathematics /