Non-finite axiomatizability results for cylindric and relation algebras (1989)

by R D Maddux
Venue:J. Symbolic Logic