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