The Logico-Algebraic Approach to Quantum Mechanics