Intuitionistic mathematics for physics
math.andrej.com