Old Web
English
Sign In
Acemap
>
Paper
>
Normal forms for elementary patterns
Normal forms for elementary patterns
2012
Timothy J. Carlson
Gunnar Wilken
Keywords:
Combinatorics
Proof theory
Ordinal analysis
Discrete mathematics
Ordinal notation
Gentzen's consistency proof
Mathematics
Ordinal arithmetic
Correction
Source
Cite
Save
Machine Reading By IdeaReader
7
References
8
Citations
NaN
KQI
[]