María Manzano - María Manzano

V tomhle Španělské jméno, první nebo otcovský rodinné jméno je Manzano a druhé nebo mateřské příjmení je Arjona.
Manzano v roce 1977

María Gracia Manzano Arjona (narozen 1950)[1] je španělský filozof se specializací na matematická logika a teorie modelů.

Manzano získala titul Ph.D. v roce 1977 od University of Barcelona. Její disertační práce, Sistemas generales de la lógica de segundo orden [Obecné systémy logika druhého řádu ], byl pod dohledem Jesús Mosterín.[2] Je profesorkou logiky a filozofie vědy na University of Salamanca.[3]

Je autorkou několika knih o teorii logiky a modelů:

  • Teoría de modelos (Alianza, 1990). Přeloženo jako Teorie modelu (Ruy de Queiroz, trans., Oxford Logic Guides 37, Oxford University Press, 1999)[4]
  • Rozšíření logiky prvního řádu (Cambridge Tracts in Theoretical Computer Science 19, Cambridge University Press, 1996)[5]
  • Lógica para principiantes [Logika pro začátečníky] (ve španělštině, s Antonia Huertas, Alianza, 2004)

Reference

  1. ^ Rok narození od Kontrolní soubor autority Library of Congress, přístup 2018-05-27.
  2. ^ María Manzano na Matematický genealogický projekt
  3. ^ María Manzano Arjona, University of Salamanca, vyvoláno 2018-05-27
  4. ^ Recenze Teorie modelu:
    • Rav, Jehuda (2000), Matematické recenze, PAN  1707268CS1 maint: periodikum bez názvu (odkaz)
    • Smith, Peter, "Posouzení", Logické záležitosti
  5. ^ Recenze Rozšíření logiky prvního řádu:
    • Amer, Mohamed (1997), Matematické recenze, PAN  1386188CS1 maint: periodikum bez názvu (odkaz)
    • Ohlbach, Hans Jürgen (červenec 1998), Tematické vydání k modální logice, Journal of Logic, Language and Information, 7 (3): 389–391, doi:10.1023 / A: 1008275328770, JSTOR  40180147, S2CID  207732642CS1 maint: periodikum bez názvu (odkaz)
    • Venema, Yde (září 1998), Journal of Symbolic Logic, 63 (3): 1194–1196, doi:10.2307/2586742, JSTOR  2586742CS1 maint: periodikum bez názvu (odkaz)

externí odkazy