Văn bản này: Topos quantum logic and mixed states