María Manzano
María Gracia Manzano Arjona is a Spanish philosopher specializing in mathematical logic and model theory.
Manzano earned her Ph.D. in 1977 from the University of Barcelona. Her dissertation, Sistemas generales de la lógica de segundo orden, was supervised by Jesús Mosterín. She is a professor of logic and the philosophy of science at the University of Salamanca.
She is the author of several books on logic and model theory:
*