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