The language and common mathematical proving techniques are introduced in this work. It serves as a transition from the computational courses (such as calculus or differential equations) that first-year college students normally take to a more abstract perspective. It lays the groundwork for more theoretical courses like topology, analysis, and abstract algebra. There is essentially no prerequisite other than a certain level of mathematical maturity, though it might be more meaningful to the student who has taken some calculus.

Sets, logic, counting, conditional and non-conditional proof techniques, disproof, inuction, relations, functions, calculus proofs, and infinite cardinality are among the topics covered.”