Quantum logic - Svozil, Karl (Springer, 1998)