"Substitution Interpretation of the Quantifiers" - читать интересную книгу автора (Dunn Michael)