Quantum logic in intuitionistic perspective (2002)

by B Coecke
Venue:Studia Logica