The Logic Of Quantum Mechanics by Gianni Cassinelli & Enrico G. Beltrametti