Exploiting partial constructivity relatively to non–constructive lemmas in given proofs (abstract (1995)

by U Kohlenbach
Venue:The Bulletin of Symbolic Logic