Back to Results
First PageMeta Content
Computability theory / Effective descriptive set theory / Functions and mappings / Function / Reverse mathematics / Second-order arithmetic / Constructivism / Impredicativity / Peano axioms / Mathematics / Mathematical logic / Logic


Document Date: 2002-11-18 18:14:48

Open Document

File Size: 96,53 KB

Share Result on Facebook
UPDATE