THE LOGIC OF QUANTUM MECHANICS - Beltrametti, Enrico G.; Cassinelli, Gianni (Addison-Wesley Publishing Company, 1981)