Project

Recursion, reflection, and second-order arithmetic