"Bounded Variable Logics and Counting: A Study in Finite Models (Lecture Notes in Logic, 9)" - читать интересную книгу автора (Martin Otto)