Some possible roles for topos theory in quantum theory and quantum gravity - Isham,CJ; Butterfield,J (KLUWER ACADEMIC/PLENUM PUBL, 2000)