Back to Results
First PageMeta Content
Proof theory / Computability theory / Functions and mappings / Reverse mathematics / Mathematical proofs / Primitive recursive function / Gödel–Gentzen negative translation / Primitive recursive arithmetic / Second-order arithmetic / Mathematics / Mathematical logic / Logic


BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma
Add to Reading List

Document Date: 1999-06-22 09:34:21

Open Document

File Size: 147,67 KB

Share Result on Facebook
UPDATE