Theories with constants and three countable models (Q884961)

From MaRDI portal