The back-and-forth isomorphism construction

From MaRDI portal
Publication:1218854