Quantum logic in intuitionistic perspective (2002)

by Bob Coecke
Venue:Studia Logica