Back to Results
First PageMeta Content
Logic / Ordinal numbers / Ordinal analysis / Gerhard Gentzen / Cut-elimination theorem / Natural deduction / Limit ordinal / Sequent calculus / Constructible universe / Mathematical logic / Mathematics / Proof theory


Document Date: 2013-10-02 08:04:05

Open Document

File Size: 162,92 KB

Share Result on Facebook
UPDATE