A Modern Approach To Logical Reasoning -

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