A construction for recursive linear orderings

From MaRDI portal
Publication:3984441