Bohrification of operator algebras and quantum logic

2012

Chris Heunen, Nicolaas P. Landsman, Bas Spitters

Synthese 186 (3)