Splitting methods in algebraic logic: Proving results on non-atom-canonicity, non-finite axiomatizability and non-first oder definability for cylindric and relation algebras
Details
The content you want is available to Zendy users.Already have an account? Click here. to sign in.