Logic and probability in quantum mechanics - Suppes, Patrick (Synthese library ; ;, 1976)