Date: 1999-06-22 09:34:21Proof 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 LemmaAdd to Reading ListSource URL: www.brics.dkDownload Document from Source Website File Size: 147,67 KBShare Document on Facebook
|