Abstract Studies mathematical structures that are fundamentally distinct and separate, rather than smoothly continuous Some Core Topics Propositional Logic Set Graph Combinatorics