María Manzano

In this Spanish name, the first or paternal surname is Manzano and the second or maternal family name is Arjona.
Manzano in 1977

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:

  • 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)

References

  1. ^ Birth year from Library of Congress authority control file, accessed 2018-05-27.
  2. ^ María Manzano at the Mathematics Genealogy Project
  3. ^ María Manzano Arjona, University of Salamanca, retrieved 2018-05-27
  4. ^ Reviews of Model Theory:
  5. ^ Reviews of Extensions of First Order Logic:


Stub icon

This article about a European mathematician is a stub. You can help Wikipedia by expanding it.