Incompleteness Along Paths (1962)

by Solomon Feferman, C Spector
Venue:in Progressions of Theories, The Journal of Symbolic Logic