On uniform weak König’s lemma (2002)

by U Kohlenbach
Venue:Annals of Pure and Applied Logic