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