Definability and quantifier elimination for \(J_ 3\)-theories

From MaRDI portal
Publication:1095881