First-order tag sponsored by:

First-Order Logic: A Concise Introduction