마리아 만자노
María Manzano마리아 그라시아 만자노 아르조나(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년)
참조
- ^ 의회 도서관 권한 관리 파일에서 출생연도 2018-05-27에 액세스.
- ^ 수학 계보 프로젝트 마리아 만자노
- ^ María Manzano Arjona, University of Salamanca, retrieved 2018-05-27
- ^ 모델 이론 검토:
- ^ 첫 번째 주문 논리의 확장 검토:
- Amer, Mohamed (1997), Mathematical Reviews, MR 1386188
{{citation}}
: CS1 maint: 제목 없는 정기 간행물(링크) - Ohlbach, Hans Jürgen (July 1998), Thematic Issue on Modal Logic, Journal of Logic, Language and Information, 7 (3): 389–391, doi:10.1023/A:1008275328770, JSTOR 40180147, S2CID 207732642
{{citation}}
: CS1 maint: 제목 없는 정기 간행물(링크) - Venema, Yde (September 1998), Journal of Symbolic Logic, 63 (3): 1194–1196, doi:10.2307/2586742, JSTOR 2586742
{{citation}}
: CS1 maint: 제목 없는 정기 간행물(링크)
- Amer, Mohamed (1997), Mathematical Reviews, MR 1386188
외부 링크