The unfolding of non-finitist arithmetic (0)

by S Feferman, T Strahm
Venue:Ann. Pure Appl. Logic