First-order identities as a defining language

From MaRDI portal
Publication:1135108