From a single true-or-false statement to the limits of computation — logic and proof, sets, functions and relations, counting, number theory and cryptography, graphs and trees, recurrences, probability, Boolean circuits, groups and codes, automata and Turing machines. Every truth table, count, graph and machine is computed in the page, and every proof is checked step by step. Thirty volumes, every plate in English and Chinese.