Christopher Hardin, Daniel J. Velleman. The Mean Value Theorem in Second Order Arithmetic. Journal of Symbolic Logic, 66(3):1353-1358, 2001.
@article{HardinV01,
title = {The Mean Value Theorem in Second Order Arithmetic},
author = {Christopher Hardin and Daniel J. Velleman},
year = {2001},
researchr = {https://researchr.org/publication/HardinV01},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {66},
number = {3},
pages = {1353-1358},
}