Prequel (Ch1–18)Introduction to reasoning science for general readers — from Boolean logic to Transformer
Volume I (Ch1–13)Historical narratives of reasoning — symbols, statistics, Transformer, search, and causality
Volume II (Ch14–24)Formal deduction — consistency, linear logic, probability, causality, complexity, self-reference