The logic of quantum mechanics - Beltrametti, Enrico G. (Encyclopedia of mathematics and its applications ;, 1984)