"On the Expressive Power of First-Order Logic with Built-In Predicates" - читать интересную книгу автора (Nicole Schweikardt)