Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability

From MaRDI portal
Publication:810494