María Manzano
matemática espanhola
María Gracia Manzano Arjona (Archidona, janeiro de 1950)[1] é uma filósofa espanhola, especialista em lógica matemática e teoria dos modelos.
| María Manzano | |
|---|---|
.jpg) | |
| Nascimento | 1950 Archidona |
| Cidadania | Espanha |
| Alma mater | |
| Ocupação | lógica, matemática, filósofa |
| Empregador(a) | Universidade de Salamanca |
Manzano obteve um doutorado em 1977 na Universidade de Barcelona, com a tese Sistemas generales de la lógica de segundo orden, orientada por Jesús Mosterín.[2] É professora de lógica e filosofia da ciência na Universidade de Salamanca.[3]
Obras
editar- Teoría de modelos (Alianza, 1990). Traduzido para o inglês como 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] (em espanhol, com Antonia Huertas, Alianza, 2004)
Referências
editar- ↑ Data de nascimento em Library of Congress authority control file, acessado em 7 de fevereiro de 2021.
- ↑ María Manzano (em inglês) no Mathematics Genealogy Project
- ↑ María Manzano Arjona, Universidade de Salamanca, consultado em 7 de fevereiro de 2021
- ↑ Reviews of Model Theory:
- ↑ Reviews of Extensions of First Order Logic:
- Amer, Mohamed (1997), «none», Mathematical Reviews, MR 1386188
- Ohlbach, Hans Jürgen (julho de 1998), «none», Thematic Issue on Modal Logic, Journal of Logic, Language and Information, 7 (3): 389–391, JSTOR 40180147, doi:10.1023/A:1008275328770
- Venema, Yde (setembro de 1998), «none», Journal of Symbolic Logic, 63 (3): 1194–1196, JSTOR 2586742, doi:10.2307/2586742