A First Course in Topos Quantum Theory (Lecture Notes