No. 41 (1998): RS-41 The Computational Strength of Extensions of Weak König’s Lemma

Published: 1998-06-11