of second order arithmetic (2009)

by Subsystems
Venue:Second, Perspectives in Logic