Notes on Math Proof by Bruce Ikenaga

These are notes for a course in math proof: An introduction to writing proofs, the basic types of proofs, and an introduction to important mathematical objects such as functions and relations. The logic and set theory are presented in a naive way.