First Course in Topos Quantum Theory