Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin s Proof for Chebycheff Approximation

Ulrich Kohlenbach. Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin s Proof for Chebycheff Approximation. Annals of Pure and Applied Logic, 64(1):27-94, 1993.

Abstract

Abstract is missing.