Table of Contents: “... cryptosystems; 7. Number theory; 8. Euclid's algorithm; 9. Some uses of perfect secrecy; 10. Computational...”

Table of Contents: “... -- Pascal's triangle -- Algebra -- Euclid's algorithm -- Logic -- Proof -- Sets -- Calculus -- Constructions...”

Table of Contents: “... loop invariants -- Abstract data types -- Narrowing the search space: binary search -- Iterative...”