First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 147,67 KBShare Document on Facebook |
Partial orders and immunity in reverse mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCEDocID: 1rW0A - View Document | |
1 2 Lesson 1 Reverse-Engineering: How does NinjaCat work?DocID: 1qtA7 - View Document | |
Full Papers IDC 2015 Medford, MA, USA Reverse Scaffolding: A Constructivist Design Architecture for Mathematics LearningDocID: 1qiYh - View Document | |
HP Calculators Introduction into RPN Overview and history of RPN More about HP calculators:DocID: 1qaG8 - View Document |