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