Unfolding finitist arithmetic (0)

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