An introduction to Hilbert space and quantum logic - Cohen, David W. (David Warren), 1940- (Problem books in mathematics, 1989)