The amalgamation property in normal open induction

From MaRDI portal
Publication:689192