Quantum logic - Svozil, Karl, 1956- (Springer series in discrete mathematics and teoretical computer science, 1998)