María Manzano's AcademicInfluence.com Rankings María Manzano's Degrees Similar Degrees You Can Earn Why Is María Manzano Influential? (Suggest an Edit or Addition)
According to Wikipedia , María Gracia Manzano Arjona 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.
(See a Problem?) María Manzano's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
2000 2010 2020 0 25 50 75 100 125 150 175 200 225 Published Works Extensions of First-Order Logic (1996) Introduction to many-sorted logic (1993) (50)Descriptive dynamic logic and its application to reflective architectures (1996) Completeness in Hybrid Type Theory (2014) Model Theory (1999) Completeness: from Gödel to Henkin (2014) Alonzo church:his life, his work and some of his miracles (1997) Tools for Teaching Logic (2011) The Life and Work of Leon Henkin: Essays on His Contributions (2014) (7)Completeness in Equational Hybrid Propositional Type Theory (2018) Henkin on Completeness (2014) Hybrid Type Theory: A Quartet in Four Movements (2012) Diagonalisation and Church's Thesis: Kleene's Homework (2005) Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, proceedings (2011) (4)Rigid First-Order Hybrid Logic (2019) The Life and Work of Leon Henkin (2014) Identity, Equality, Nameability and Completeness (2017) Editorial "Tools for Teaching Logic" (2007) Henkin and Hybrid Logic (2014) Many-Sorted Logic (2022) Identity, equality, nameability and completeness. Part II (2018) Visions of Henkin (2015) Logic as a language for modelling (2006) (1)A note on Visions of Henkin (2017) April the 19th (2014) The 1st barcelona symposium on history and philosophy of science (1987) (0)Leon Henkin: A Logician's View on Mathematics Education (2017) (0)Lógica Matemática, 2009-10 (2009) (0)Completeness in Equational Hybrid Propositional Type Theory (2018) Paseo matemático-bilingüe por arcos (2011) (0)Visions of Henkin (2014) A fashionable partial and heterogeneous mirror for modality (2004) (0)Modal representation in Henkin's non-standard second order logic (1997) (0)Quantifiers and Conceptual Existence (2019) The Roles Leon Henkin Played in Mathematics Education (2015) (0)Eight European Summer School in Logic, Language and Information Reader of Course: Extensions of First Order Logic (2004) (0)Proceedings of the Third international congress conference on Tools for teaching logic (2011) (0)More Papers This paper list is powered by the following services:
Other Resources About María Manzano What Schools Are Affiliated With María Manzano? María Manzano is affiliated with the following schools:
