Back to Results
First PageMeta Content
Computability theory / Proof theory / Model theory / Functions and mappings / Elementary function arithmetic / Peano axioms / Primitive recursive function / Primitive recursive arithmetic / Second-order arithmetic / Mathematical logic / Mathematics / Logic


Document Date: 2013-10-02 10:18:56

Open Document

File Size: 249,66 KB

Share Result on Facebook
UPDATE