Tree-Automatic Well-Founded Trees

From MaRDI portal
Publication:5891703