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: