Project

Philosophical Frontiers in Reverse Mathematics.