Extensions of First-Order Logic door Maria Manzano