Unfolding finitist arithmetic

TitleUnfolding finitist arithmetic
Publication TypeJournal Article
Year of Publication2010
AuthorsFeferman, S, Strahm, T
JournalReview of Symbolic Logic
Volume3
Pagination665-689
URLhttp://www.iam.unibe.ch/ltgpub/2010/fs10.pdf