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

City

Madrid / Paris / /

Company

Hilbert’s Programme / CNF / /

Country

Spain / /

IndustryTerm

arithmetical systems / important tool / axiom systems / representation systems / transparent ordinal representation systems / ordinal representation systems / /

Organization

International Congress / European Mathematical Society / /

Person

Gentzen / Michael Rathjen / /

Position

head / /

ProvinceOrState

Pennsylvania / /

SocialTag