Topos perspective on the Kochen-Specker theorem: I. Quantum states as generalized valuations - Isham,CJ; Butterfield,J (INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1998)