The Mean Value Theorem in Second Order Arithmetic

Sorry, there's nothing here.

Topics

Cite this paper

@article{Hardin2001TheMV, title={The Mean Value Theorem in Second Order Arithmetic}, author={Christopher Hardin and Daniel J. Velleman}, journal={J. Symb. Log.}, year={2001}, volume={66}, pages={1353-1358} }