2010), The unfolding of finitist arithmetic (0)

by S Feferman, T Strahm
Venue:Review of Symbolic Logic