discrete mathematics
Mathematical logic
Propositional logic
Predicate Logic
Set Theory
set
Binary relation
function
Algebra System
Infinite set
Algebra
Boolean algebra gap
Graph Theory
discrete mathematics
Mathematical logic
Propositional logic
Predicate Logic
Set Theory
set
Binary relation
function
Algebra System
Infinite set
Algebra
Boolean algebra gap
Graph Theory