María Manzano on:
[Wikipedia]
[Google]
[Amazon]
María Gracia Manzano Arjona (born 1950) is a Spanish philosopher specializing in
Home page
1950 births Living people 21st-century Spanish mathematicians Spanish women mathematicians Mathematical logicians Women logicians University of Barcelona alumni Academic staff of the University of Salamanca 20th-century Spanish mathematicians 21st-century Spanish philosophers Spanish women philosophers 20th-century Spanish philosophers Philosophers of mathematics {{Europe-mathematician-stub
María Gracia Manzano Arjona (born 1950) is a Spanish philosopher specializing in mathematical logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...
and model theory
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the s ...
.
Manzano earned her Ph.D. in 1977 from the University of Barcelona
The University of Barcelona ( ca, Universitat de Barcelona, UB; ; es, link=no, Universidad de Barcelona) is a public university located in the city of Barcelona, Catalonia, in Spain. With 63,000 students, it is one of the biggest universities i ...
. Her dissertation, ''Sistemas generales de la lógica de segundo orden'' eneral systems of second-order logic">second-order_logic.html" ;"title="eneral systems of second-order logic">eneral systems of second-order logic was supervised by Jesús Mosterín. She is a professor of logic and the philosophy of science at the University of Salamanca.
She is the author of several books on logic and model theory:
*''Teoría de modelos'' (Alianza, 1990). Translated as ''Model Theory'' (Ruy de Queiroz
Ruy J. Guerra B. de Queiroz (born January 11, 1958 in Recife) is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and phi ...
, trans., 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'' ogic for beginners(in Spanish, with Antonia Huertas, Alianza, 2004)
References
External links
Home page
1950 births Living people 21st-century Spanish mathematicians Spanish women mathematicians Mathematical logicians Women logicians University of Barcelona alumni Academic staff of the University of Salamanca 20th-century Spanish mathematicians 21st-century Spanish philosophers Spanish women philosophers 20th-century Spanish philosophers Philosophers of mathematics {{Europe-mathematician-stub