PhilPapers
PhilPeople
PhilArchive
PhilEvents
PhilJobs
Sign in
Sign in
News Feed
Find Philosophers
Departments
Radar
Help
Drag to reposition
Save
Cancel
Christopher Hardin
Home
Publications
1
Most Recent
Most Downloaded
Topics
News and Updates
More details
All publications (
1
)
3
The Mean Value Theorem in Second Order Arithmetic
with Daniel Velleman
Journal of Symbolic Logic
66 (3): 1353-1358. 2001.
Logic and Philosophy of Logic