http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
1. The logic of compound statements -- 2. The logic of quantified statements -- 3. Elementary number theory and methods of proof -- 4. Sequences and mathematical induction -- 5. Set theory -- 6. Counting and probability -- 7. Functions -- 8. Recursion -- 9. The efficiency of algorithms -- 10. Relations -- 11. Graphs and trees -- 12. Regular expressions and finite-state automata