Syllabus
Propositional Logic
Normal Forms
Predicate Calculus
Theory of Inference
Relations
Group Theory
Lattices
Functions
Coding Theory