"Algebraic Logic and Universal Algebra in Computer Science" - читать интересную книгу автора