Reasoning foundations of medical diagnosis; symbolic logic, probability, and value theory aid our understanding of how physicians reason - Ledley, RS; Lusted, LB (Science, 1959)