Logic and Probability in Quantum Mechanics (Synthese Library)