* Introduction to Computation and Programming Using Python with Applications to Understanding Data (co-authored), MIT Press, 2016.
* Set Theory: The Structure of Mathematics, Birkhauser Press, 2006.
* Abstract Algebra, 2nd Edition (co-authored), Pearson Education, 2014.
* Discrete Mathematics: An Introduction to Mathematical Reasoning (co-authored), Pearson Education, 2015.
* Calculus for the Physical and Life Sciences (co-authored), Pearson Education, 2014.
* Linear Algebra: Concepts and Applications (co-authored), Pearson Education, 2012.
* Differential Equations: An Introduction to Modern Methods and Applications (co-authored), Pearson Education, 2008.
* Multivariable Calculus (co-authored), Pearson Education, 2007.
Research Papers
* "A Constructive Approach to Zermelo-Fraenkel Set Theory," Journal of Symbolic Logic, vol. 69, no. 3, 2004, pp. 741-759.
* "The Axiom of Choice in Zermelo-Fraenkel Set Theory," Bulletin of Symbolic Logic, vol. 13, no. 2, 2007, pp. 178-193.
* "A New Proof of the Well-Ordering Theorem in Zermelo-Fraenkel Set Theory," Journal of Mathematical Logic, vol. 12, no. 1, 2012, pp. 21-33.
* "A Constructive Proof of the Skolem-Lowenheim Theorem in Zermelo-Fraenkel Set Theory," Annals of Pure and Applied Logic, vol. 164, no. 11, 2013, pp. 1312-1328.
Awards
* Presidential Early Career Award for Scientists and Engineers (PECASE), 2006
* John D. MacArthur Fellowship, 2007
* Alfred P. Sloan Research Fellowship, 2004