TY  - RPRT
TI  - Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras
AU  - Andreas Doering
PY  - 2013
UR  - https://arxiv.org/abs/1202.2750
ID  - 1202.2750
ER  -