"Bounded variable logics and counting: A study in finite models" - читать интересную книгу автора (Martin Otto)