María Manzano

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

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)

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:
   • Rav, Yehuda (2000), Mathematical Reviews, MR 1707268{{citation}}: CS1 maint: untitled periodical (link)
   • Smith, Peter, "Review", Logic Matters
5. Reviews of Extensions of First Order Logic:
   • Amer, Mohamed (1997), Mathematical Reviews, MR 1386188{{citation}}: CS1 maint: untitled periodical (link)
   • Ohlbach, Hans Jürgen (July 1998), Thematic Issue on Modal Logic, Journal of Logic, Language and Information, 7 (3): 389–391, doi:10.1023/A:1008275328770, JSTOR 40180147, S2CID 207732642{{citation}}: CS1 maint: untitled periodical (link)
   • Venema, Yde (September 1998), Journal of Symbolic Logic, 63 (3): 1194–1196, doi:10.2307/2586742, JSTOR 2586742, S2CID 118400182{{citation}}: CS1 maint: untitled periodical (link)

External links

• Home page