Published Books
Modern Mathematical Logic, Cambridge University Press.
Linear Algebra: A draft of the Linear Algebra (Math 215) book used at Grinnell College that balances the computational, conceptual, and theoretical aspects of the subject, while introducing students to mathematical reasoning.
Combinatorics and Number Theory: Course notes including material from several different offerings of Math 218.
Abstract Algebra: Course notes for Math 321.