María Manzano

María Gracia Manzano Arjona (born 1950)[1] 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 [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:

Manzano in 1977