The logic of quantum mechanics - Beltrametti, Enrico G; Cassinelli, Gianni (Encyclopedia of Mathematics and its Applications, 15, 1981)