Мария Мансано

Мария Грасия Мансано Архона (родилась в 1950 году) ^[1] — испанский философ, специализирующийся на математической логике и теории моделей .

Мансано получила докторскую степень в 1977 году в Университете Барселоны . Ее диссертация Sistemas generales de la lógica de segundo orden [Общие системы логики второго порядка ] была написана под руководством Хесуса Мостерина . ^[2] Она является профессором логики и философии науки в Университете Саламанки . ^[3]

Она является автором нескольких книг по логике и теории моделей:

Теория моделей (Альянса, 1990). Переведено как «Теория моделей» ( Рюи де Кейроз , пер., Oxford Logic Guides 37, Oxford University Press, 1999) ^[4]
Расширения логики первого порядка (Кембриджские трактаты по теоретической информатике 19, Издательство Кембриджского университета, 1996)^[5]
Lógica para principiantes [Логика для начинающих] (на испанском языке, с Антонией Уэртас, Alianza, 2004 г.)

Ссылки

^ Год рождения из контрольного файла Библиотеки Конгресса, дата обращения 27.05.2018.
^ Мария Мансано в проекте «Генеалогия математики»
^ Мария Мансано Архона, Университет Саламанки , получено 27 мая 2018 г.
^
Обзоры теории моделей :
- Рав, Йехуда (2000), Математические обзоры , MR 1707268{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
- Смит, Питер, «Обзор», Logic Matters
^
Обзоры расширений логики первого порядка :
- Амер, Мохамед (1997), Математические обзоры , MR 1386188{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
- Ольбах, Ганс Юрген (июль 1998 г.), Тематический выпуск по модальной логике, Журнал логики, языка и информации , 7 (3): 389–391, doi :10.1023/A:1008275328770, JSTOR 40180147, S2CID 207732642{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )
- Venema, Yde (сентябрь 1998 г.), Журнал символической логики , 63 (3): 1194–1196, doi : 10.2307/2586742, JSTOR 2586742, S2CID 118400182{{citation}}: CS1 maint: безымянное периодическое издание ( ссылка )

Внешние ссылки

Домашняя страница