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