Logical Aspects of Probability and Quantum Computation