@book{ title = {Extensions of first order logic}, author = {Manzano, María}, year = {1996}, address = {Cambridge }, publisher = {Cambridge university press}, }