On the No-Counterexample Interpretation (1997)

Cached

Download Links

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

Document Versions

On the No-Counterexample Interpretation –Ulrich Kohlenbach — 1997 — J. SYMBOLIC LOGIC
Proof Interpretations –Ulrich Kohlenbach, Ulrich Kohlenbach — 1998