On the No-Counterexample Interpretation (1997)

by Ulrich Kohlenbach
Venue:J. SYMBOLIC LOGIC