María Manzano

María Gracia Manzano Arjona (nacida en 1950) ^[1] es una filósofa española especializada en lógica matemática y teoría de modelos .

Manzano obtuvo su doctorado en 1977 en la Universidad de Barcelona . Su tesis, Sistemas generales de la lógica de segundo orden , fue dirigida por Jesús Mosterín . ^[2] Es catedrática de lógica y filosofía de la ciencia en la Universidad de Salamanca . ^[3]

Es autora de varios libros sobre lógica y teoría de modelos:

Teoría de modelos (Alianza, 1990). Traducido como teoría de modelos ( Ruy de Queiroz , trad., Oxford Logic Guides 37, Oxford University Press, 1999) ^[4]
Extensiones de la lógica de primer orden (Cambridge Tracts in Theoretical Computer Science 19, Cambridge University Press, 1996)^[5]
Lógica para principiantes (en español, con Antonia Huertas, Alianza, 2004)

Referencias

^ Año de nacimiento del archivo de control de autoridad de la Biblioteca del Congreso, consultado el 27 de mayo de 2018.
^ María Manzano en el Proyecto de Genealogía Matemática
↑ María Manzano Arjona, Universidad de Salamanca , consultado el 27 de mayo de 2018
^
Reseñas de teoría de modelos :
- Rav, Yehuda (2000), Reseñas matemáticas , MR 1707268{{citation}}: CS1 maint: publicación periódica sin título ( enlace )
- Smith, Peter, "Revisión", La lógica importa
^
Reseñas de extensiones de lógica de primer orden :
- Amer, Mohamed (1997), Reseñas matemáticas , MR 1386188{{citation}}: CS1 maint: publicación periódica sin título ( enlace )
- Ohlbach, Hans Jürgen (julio de 1998), Número temático sobre lógica modal, Journal of Logic, Language and Information , 7 (3): 389–391, doi :10.1023/A:1008275328770, JSTOR 40180147, S2CID 207732642{{citation}}: CS1 maint: publicación periódica sin título ( enlace )
- Venema, Yde (septiembre de 1998), Journal of Symbolic Logic , 63 (3): 1194–1196, doi :10.2307/2586742, JSTOR 2586742, S2CID 118400182{{citation}}: CS1 maint: publicación periódica sin título ( enlace )