María Manzano

{{Short description|Spanish mathematician (born 1950)}}

{{use dmy dates|date= March 2025}}

{{Use list-defined references|date=March 2025}}

{{CS1 config|mode=cs2}}

{{family name hatnote|Manzano|Arjona|lang=Spanish}}

{{Infobox scientist

| honorific_prefix =

| name =

| honorific_suffix =

| native_name = María Gracia Manzano Arjona

| native_name_lang = es

| image = María Manzano, 1977 Dec (portioned).jpg

| image_size =

| image_upright =

| landscape =

| alt =

| caption = {{wikidata|qualifier|P18|P2096}}

| birth_name =

| birth_date = {{wikidata|property|P569}}

| birth_place = {{wikidata|property|P19}}

| other_names =

| siglum =

| pronounce =

| citizenship =

| nationality =

| fields = {{wikidata|property|P101}}

| workplaces = University of Salamanca.{{r|usal}}

| patrons =

| education =

| alma_mater = University of Barcelona

| thesis_title = Sistemas generales de la lógica de segundo orden

| thesis_url =

| thesis_year = 1978

| doctoral_advisor = Jesús Mosterín

| academic_advisors =

| doctoral_students = Alfonso Cabanzo Vargas
Cuitláhuac Rodríguez Campos
José Javier González López
Julián Mauricio Valdés Toro

| notable_students =

| known_for =

| awards =

| author_abbrev_bot =

| author_abbrev_zoo =

| spouse =

| partner =

| children =

| parents =

| father =

| mother =

| relatives =

| signature =

| signature_type =

| signature_alt =

| website = {{Official website}}

| footnotes =

}}

María Gracia Manzano Arjona (born 1950){{r|loc}} is a Spanish philosopher specializing in mathematical logic and model theory.

Manzano earned her Ph.D. in 1977 from the University of Barcelona. Her dissertation, Sistemas generales de la lógica de segundo orden [General systems of second-order logic], was supervised by Jesús Mosterín.{{r|mgp}} She is a professor of logic and the philosophy of science at the University of Salamanca.{{r|usal}}

She is the author of several books on logic and model theory:

• {{citation |last=Manzano |first=María |title=Teoría de modelos|language=es|year=1989 |publisher=Alianza Editorial|url=https://www.researchgate.net/publication/277269984|

isbn=9788420681269}}

:{{citation |last=Manzano |first=María |author-mask=0|title=Model Theory |translator-last=De Queiroz|translator-first=Ruy|year=1999 |orig-year=1989|publisher=Oxford University Press |series=Oxford Logic Guides |volume=37|isbn=978-0198538516}}{{r|mt}}

• {{citation |last=Manzano|first=María |title=Extensions of First Order Logic|language=en|year=1996|series=Cambridge Tracts in Theoretical Computer Science|volume=19|publisher=Cambridge University Press|isbn=0521354358}}{{r|x1l}}
• {{citation |last1=Manzano |first1=María |last2=Huertas |first2=Antonia|title=Lógica para principiantes|language=es|year=2004 |publisher=Alianza Editorial}}