Authors: Hardin, CS Velleman, DJ

Citation: Cs. Hardin et Dj. Velleman, The Mean Value Theorem in second order arithmetic, J SYMB LOG, 66(3), 2001, pp. 1353-1358

Authors: George, A Velleman, DJ

Citation: A. George et Dj. Velleman, Leveling the playing field between mind and machine: A reply to McCall, J PHILOS, 97(8), 2000, pp. 456-461

Authors: Velleman, DJ

Citation: Dj. Velleman, The principles of mathematics revisited, MIND, 108(429), 1999, pp. 170-179

Authors: Velleman, DJ

Citation: Dj. Velleman, Multivariable calculus and the plus topology, AM MATH MO, 106(8), 1999, pp. 733-740