この資料をSMS送信: Topos quantum logic and mixed states