Textbooks

• An Introduction to Real Analysis

  This text gives a rigorous but streamlined development of sequences, limits, derivatives, integrals, and series for a one-semester undergraduate course in Analysis.

• An Introduction to Mathematics

  This text is designed for a collaborative learning introduction to logic, sets, cardinality, and proof writing.

• Symbolic Logic

  This is a symbolic logic text developed for philosophy minors. It introduces students with no background to propositional logic, predicate logic, soundness, completeness, set theory, cardinality, incompleteness, and computability.

• Geometry

  This is a Moore Method type theorem sequence for a course in geometry. The sequence begins with incidence axioms and proofs as much as is reasonably possible before introducing measurement and then parallel postulates.

• Discrete Mathematics

  These notes are the beginning of a non-proof-based discrete mathematics course for freshmen with no background.

• Mathematics for Elementary Teachers

  These are notes for a mathematics course for future elementary teachers. The notes attempt to balance the constructive, problem solving nature of mathematics with the level of students often found in this class.