"Finite Model Theory 001" - читать интересную книгу автора