English Beginner On the Expressive Power of First-Order Logic with Built-In Predicates Nicole Schweikardt 2002 View book