María Gracia Manzano Arjona (born 1950) 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. 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:
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - ماريا مانزانو (ar)
- María Manzano (en)
- María Manzano (pt)
|
rdfs:comment
| - ماريا مانزانو (بالإسبانية: María Manzano Arjona) هي رياضياتية إسبانية، ولدت في 1950. (ar)
- María Gracia Manzano Arjona (Archidona, janeiro de 1950) é uma filósofa espanhola, especialista em lógica matemática e teoria dos modelos. Manzano obteve um doutorado em 1977 na Universidade de Barcelona, com a tese Sistemas generales de la lógica de segundo orden, orientada por . É professora de lógica e filosofia da ciência na Universidade de Salamanca. (pt)
- María Gracia Manzano Arjona (born 1950) 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. 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: (en)
|
foaf:depiction
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
thumbnail
| |
has abstract
| - ماريا مانزانو (بالإسبانية: María Manzano Arjona) هي رياضياتية إسبانية، ولدت في 1950. (ar)
- María Gracia Manzano Arjona (born 1950) 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. 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, 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 [Logic for beginners] (in Spanish, with Antonia Huertas, Alianza, 2004) (en)
- María Gracia Manzano Arjona (Archidona, janeiro de 1950) é uma filósofa espanhola, especialista em lógica matemática e teoria dos modelos. Manzano obteve um doutorado em 1977 na Universidade de Barcelona, com a tese Sistemas generales de la lógica de segundo orden, orientada por . É professora de lógica e filosofia da ciência na Universidade de Salamanca. (pt)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is Wikipage disambiguates
of | |
is foaf:primaryTopic
of | |