A Second Course in Topos Quantum Theory - Flori, Cecilia (Springer International Publishing, 2020)