Skolem + Tetration Is Well-Ordered (Q3576033)

From MaRDI portal