Logical and Mathematical Structures of Quantum Mechanics