The 0-1 law fails for monadic existential second-order logic on undirected graphs

From MaRDI portal
Publication:1607080