María Gracia Manzano Arjona (born 1950) is a Spanish philosopher specializing in

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

and

model theory In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mat ...

. Manzano earned her Ph.D. in 1977 from the

University of Barcelona The University of Barcelona (official name in ; UB), formerly also known as Central University of Barcelona (), is a public research university located in the city of Barcelona, Catalonia, Spain. It was established in 1450. With 76,000 students, ...

. 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: * : * *

References

External links

* 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