Variable declarations in natural deduction, Annals of Pure and Applied Logic 144 (2006) 133-146
The generalized Simpson's rule, American Mathematical Monthly 112 (2005) 342-350
Simpson symmetrized and surpassed, Mathematics Magazine 77 (2004) 31-45
The mean value theorem in second order arithmetic (with Christopher Hardin), Journal of Symbolic Logic 66 (2001) 1353-1358
Multivariable calculus and the plus topology, American Mathematical Monthly 106 (1999) 733-740
Probability and quantum mechanics, American Journal of Physics 66 (1998) 967-969
Two conceptions of natural number (with Alexander George), in Truth in Mathematics, Garth Dales and Gianluigi Oliveri (eds.), Oxford University Press, 1998, pp. 311-327
Characterizing continuity, American Mathematical Monthly 104 (1997) 318-322
Another proof of the fundamental theorem of algebra, Mathematics Magazine 70 (1997) 216-217
Fermat's last theorem and Hilbert's program, Mathematical Intelligencer vol. 19 no. 1 (Winter 1997) 64-67