Return to Article Details The Computational Strength of Extensions of Weak König’s Lemma Download Download PDF