"Relation Algebras by Games (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (R. Hirsch, I. Hodkinson)