Extensions of First-Order Logic by Maria Manzano