An introduction to proof writing, with topics drawn from logical compound statements, natural numbers, mathematical induction, set theory, functions, relations, counting arguments, permutations, combinations, and probability. Problem solving is stressed.