Finitely presented ordered groups

From MaRDI portal