Article,

A comparison of well-known ordinal notation systems for epsilon0.

.
Ann. Pure Appl. Log., 147 (1-2): 48-70 (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews