Remarks on finitism (2002)

by W Tait
Venue:Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman, volume 15 of LNL. Association for Symbolic Logic