TY  - RPRT
TI  - Bohrification of operator algebras and quantum logic
AU  - Chris Heunen
AU  - Nicolaas P. Landsman
AU  - Bas Spitters
PY  - 2010
DO  - 10.1007/s11229-011-9918-4
UR  - https://arxiv.org/abs/0905.2275
ID  - 0905.2275
ER  -