Daniel W. Cunningham is a Professor of Mathematics at State University of New York, Buffalo, specializing in set theory and mathematical logic. He is a member of the Association for Symbolic Logic, the American Mathematical Society, and the Mathematical Association of America. Cunningham's previous work includes A Logical Introduction to Proof, which was published in 2013.