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


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