Kreisel's `Unwinding Program (1996)

by Solomon Feferman
Venue:In Odifreddi [53
Citations:11 - 0 self