On the no-counterexample interpretation (1999)

by U Kohlenbach
Venue:J. Symbolic Logic