1993]. What rests on what? The proof-theoretic analysis of mathematics (0)

by S Feferman
Venue:Proc. 15 th International Wittgenstein Symposium