Logical Analysis of Quantum Mechanics (International series