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

2 points | by pavel_lishin 9 hours ago

No comments yet