Spanish mathematician (born 1950)
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 ^ Birth year from Library of Congress authority control file, accessed 2018-05-27. ^ María Manzano at the Mathematics Genealogy Project ^ María Manzano Arjona, University of Salamanca , retrieved 2018-05-27 ^ Reviews of Model Theory :Rav, Yehuda (2000), Mathematical Reviews , MR 1707268 {{citation }}
: CS1 maint: untitled periodical (link)Smith, Peter, "Review", Logic Matters ^ 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