Logical Reasoning: A Modern Approach To

: Reason logically, but reason adaptively —with a toolkit that includes probability, computation, and self-correction.