Quantum logic - Mittelstaedt, Peter (Synthese library ;, 1978)