maths.free › Discrete Math & Logic

Discrete Math & Logic

The mathematics of the finite and the exact: how many ways, which statements follow from which, and what a proof actually needs. Truth tables are built row by row.