modern intuitionistic topology by F.A. Waaldijk