María Manzano

María Gracia Manzano Arjona (born 1950)[1] is a Spanish philosopher specializing in mathematical logic and model theory.

Manzano in 1977

Manzano earned her Ph.D. in 1977 from the University of Barcelona. Her dissertation, Sistemas generales de la lógica de segundo orden [General systems of second-order logic], was supervised by Jesús Mosterín.[2] She is a professor of logic and the philosophy of science at the University of Salamanca.[3]

She is the author of several books on logic and model theory:

• Teoría de modelos (Alianza, 1990). Translated as Model Theory (Ruy de Queiroz, trans., Oxford Logic Guides 37, Oxford University Press, 1999)[4]
• Extensions of First Order Logic (Cambridge Tracts in Theoretical Computer Science 19, Cambridge University Press, 1996)[5]
• Lógica para principiantes [Logic for beginners] (in Spanish, with Antonia Huertas, Alianza, 2004)