Christopher Hardin Daniel J. Velleman The Mean Value Theorem in Second Order Arithmetic. 1353-1358 2001 66 J. Symb. Log. 3 db/journals/jsyml/jsyml66.html#HardinV01