The road to epsilon-zero: ordinals as nim-heaps

About me

RSS Atom

12 recent entries

Archive:

---

Subtopics: