Back to Results
First PageMeta Content
Proof theory / Ordinal numbers / Constructible universe / Peano axioms / Ordinal analysis / Function / Bounded quantifier / New Foundations / Surreal number / Mathematical logic / Mathematics / Logic


Document Date: 2009-03-07 14:19:19

Open Document

File Size: 313,78 KB

Share Result on Facebook
UPDATE