The Unfolding of Non-Finitist Arithmetic (2000)

by Solomon Feferman, Thomas Strahm