On the No-Counterexample Interpretation (1997)

Cached

Download Links

by Ulrich Kohlenbach
Venue:J. SYMBOLIC LOGIC
Citations:18 - 10 self