Home›Books›Intensional mathematicsIntensional mathematicsby Stewart ShapiroNo description available.Intuitionistic mathematicsModality (Logic)Constructive mathematics