마리아 만자노

María Manzano
이 스페인어 이름에서 첫째 또는 부성(父性)은 만자노(萬子野), 둘째 또는 모성(母性)은 아르조나(Arjona)이다.
1977년 만자노

마리아 그라시아 만자노 아르조나(1950년 출생)[1]는 수학논리와 모델론을 전문으로 하는 스페인의 철학자다.

만자노는 1977년 바르셀로나 대학에서 박사학위를 받았다.그녀의 논문인 시스테마스 제너럴레스 드 라 로기카 드 세군도 또는 [2차 논리학의 일반 시스템]은 제수스 모스테린의 감독을 받았다.[2]그녀는 살라망카 대학의 논리학과 과학철학 교수다.[3]

그녀는 논리학과 모델 이론에 관한 몇 권의 저자다.

  • Teoria de modelos (Alianza, 1990)모델 이론으로 번역됨(Ruy de Keiroz, trans, Oxford Logic Guiders 37, Oxford University Press, 1999)[4]
  • First Order Logic의 확장 (Cambridge Tracts in the 이론적 컴퓨터 과학 19, Cambridge University Press, 1996)[5]
  • 로기카파 공학자[초보자용 로직] (스페인어로는 안토니아 후에르타스, 알리안자, 2004년)

참조

  1. ^ 의회 도서관 권한 관리 파일에서 출생연도 2018-05-27에 액세스.
  2. ^ 수학 계보 프로젝트 마리아 만자노
  3. ^ María Manzano Arjona, University of Salamanca, retrieved 2018-05-27
  4. ^ 모델 이론 검토:
  5. ^ 첫 번째 주문 논리의 확장 검토:

외부 링크


Stub icon

유럽 수학자에 관한 이 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.