E#ective moduli from ine#ective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebyche# approximation (1993)

by U Kohlenbach
Venue:Annals of Pure and Applied Logic