The Mean Value Theorem in second order arithmetic

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
Citations number
3
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
66
Issue
3
Year of publication
2001
Pages
1353 - 1358
Database
ISI
SICI code
0022-4812(200109)66:3<1353:TMVTIS>2.0.ZU;2-2