The book begins by gently introducing proof-based thinking by posing well-motivated prompts and exercises concerning ... The book proceeds with introducing formal logic, mathematical induction, set ...
Core topics include proof techniques, sets, functions, relations, and cardinality, with selected additional topics that provide many possibilities for further exploration. With a problem-based ...