Independence and the finite submodel property

From MaRDI portal
Publication:1011755