Reflection principles and their use for establishing the complexity of axiomatic systems. Zeitschrift f. math. Logik und Grundlagen d (1968)

by G Kreisel, A L'evy
Venue:Math