Classical First-Order Logic