שליחה במסרון: Topos quantum logic and mixed states