Many Valued Topology and Its Applications by Ulrich Hohle