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