Login / Signup

On uniform weak König's lemma.

Ulrich Kohlenbach
Published in: Ann. Pure Appl. Log. (2002)
Keyphrases