Quantum logic - Svozil, Karl (Springer-Verlag, 1998)