A Second Course in Topos Quantum Theory. - Flori, Cecilia (Lecture Notes in Physics / founding editors W. Beiglböck, J. Ehlers, K. Hepp, H. Weidenmüller, 2018)