Glossary of First-Order Logic