Reflecting on Incompleteness (1991)

by S Feferman
Venue:Journal of Symbolic Logic