María Manzano

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 1707268CS1 maint: untitled periodical (link)
    • Smith, Peter, "Review", Logic Matters
  5. Reviews of Extensions of First Order Logic:
    • Amer, Mohamed (1997), Mathematical Reviews, MR 1386188CS1 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 40180147CS1 maint: untitled periodical (link)
    • Venema, Yde (September 1998), Journal of Symbolic Logic, 63 (3): 1194–1196, doi:10.2307/2586742, JSTOR 2586742CS1 maint: untitled periodical (link)


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.