María Manzano - María Manzano

Manzano em 1977

María Gracia Manzano Arjona (nascida em 1950) é uma filósofa espanhola especializada em lógica matemática e teoria dos modelos .

Manzano obteve seu Ph.D. em 1977 pela Universidade de Barcelona . Sua dissertação, Sistemas generales de la lógica de segundo orden [sistemas gerais de lógica de segunda ordem ], foi supervisionado por Jesús Mosterín . Ela é professora de lógica e filosofia da ciência na Universidade de Salamanca .

Ela é autora de vários livros sobre lógica e teoria do modelo:

• Teoría de modelos (Alianza, 1990). Traduzido como Teoria do Modelo ( Ruy de Queiroz , trad., Oxford Logic Guides 37, Oxford University Press, 1999)
• Extensions of First Order Logic (Cambridge Tracts in Theoretical Computer Science 19, Cambridge University Press, 1996)
• Lógica para principiantes [Lógica para iniciantes] (em espanhol, com Antonia Huertas, Alianza, 2004)

Referências

links externos

• Pagina inicial

Este artigo sobre um matemático europeu é um esboço . Você pode ajudar a Wikipedia expandindo-a . v t e