Manzano Arjona, María

Institución: Departamento de Filosofía y Lógica y Filosofía de la Ciencia de la Universidad de Salamanca
Dirección: Campus Unamuno. Edificio FES. 37007 Salamanca. Spain.
Teléfonos: 923294500 ext 3416
Publicaciones 1
Docencia 2
Investigación 3
Conferencias 4
Alumnos 5

Algunos libros

  1. The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I, y Alonso, E. (eds) Springer. 2014
  2. Lógica, Lógicas y Logicidad. College Publications. London [en preparación].
  3. Extensions of First-Order Logic. Cambridge University Press. Cambridge: U.K., 2005 (paperback).
  4. Lógica para principiantes, con Antonia Huertas. Alianza Editorial, S.A. Madrid, España, 2004, 2005, 2006 y 2011.
  5. Model Theory.  Oxford University Press. Oxford: U.K., 1999.
  6. Teoría de Modelos. Alianza Editorial, S.A. Madrid, España, 1989 (agotado).
  7. Teoría de Tipos. Ediciones Universidad de Barcelona  Barcelona, España, 1980.
  8. Sistemas Intermedios. Fundación Juan March: Serie Universitaria. Madrid, España, 1978.

Algunos capítulos de libros y artículos

  1. María, M, Nitsa Movshovitz-Hadar and Diane Resek. Leon Henkin: A logician’s view on mathematics education. [2017]. IFCoLog Journal of Logic and its Applications. ISSN PRINT 2055-3706. ISSN ONLINE 2055-3714
  2. Manzano, M. Alonso, E. Visions of Henkin. [2015]. Revista: Synthese. Editorial: Springer. (DOI) 10.1007/s11229-013-0389-7
  3. Manzano, M. Martins, M. A.  y Huertas, A. A Semantics for Equational Hybrid Propositional Type Theory. [2014]. Revista: Bulletin of the Section of Logic. Editorial:  Łódź University Press. 43:3/4   Páginas 121-138 
  4. Areces, C., Blackburn, P. Huertas, A., y Manzano, M. [2011]. “Hybrid Type Theory, A Quarted in Four Movements”.  Revista: Principia: an international journal of epistemology, ISSN 1808-1711, Vol. 15, Nº. 2, 2011 , págs. 225-247 
  5. Manzano, M. Huertas, A., Areces, C. y Blackburn, P. [2014] “Completeness of Hybrid Type Theory”. doi.org/10.1007/s10992-012-9260-4. Revista: Journal of Philosophical Logic. Editorial: Springer.
  6. Manzano, M. Alonso, E. [2014]. "Leon Henkin" in: The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I, y Alonso, E. (eds) Editorial: Springer.
  7. Manzano, M. [2014]. "April the 19th" in: The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I, y Alonso, E. (eds) Editorial: Springer.
  8. Manzano, M. [2014]. "Henkin on Completeness" in: The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I, y Alonso, E. (eds) Editorial: Springer.
  9. Blackburn, P., Huertas, A., Manzano, M. Jørgensen, K. [2014]. "Henkin and Hybrid Logic" in: The Life and Work of Leon Henkin: Essays on His Contributions. Manzano, M., Sain, I, y Alonso, E. (eds) Editorial: Springer.
  10. Manzano, M. Alonso, E. “Completeness: from Gödel to Henkin”. [2013]. DOI: 10.1080/01445340.2013.816555. Revista: History and Philosophy of Logic. Editorial: Taylor and Francis.London. U.K.
  11. “Logic and Fiction”.  Henrique Jales Ribeiro (Ed.) (2012). Inside Arguments: Logic and the Study of Argumentation. Newcastle upon Tyne (UK). Editorial: Cambridge Scholars Publishing.
  12. "Teoría de Modelos" [2011] en Compedio de Lógica, Argumentación y Retórica. L. Vega ed. Editorial: Trotta.
  13. "Antecedentes de la teoría de tipos híbrida" [2011]. En H. van Ditmarsch, F. Salguero y F. Soler (eds): Liber Amicorum Angel Nepomuceno: Homenaje en su sexuagésimo cumpleaños. Fenix Editora. Sevilla
  14. Manzano, M y Moreno, M. C. [2010] “Argumentos ontológicos”, BAJO PALABRA. Rvista de Filosofía. II Época, nº 5 ISSN: 1576-3935 (2010: 433-448)
  15. Manzano, M. y Alonso, E. [2009]. “Nociones de completud”. ISSN 07984324, EPISTEME NS, Vol. 29, No. 1, pp. 51-84. 
  16. "Lógica de orden superior" [2008], en Filosofía de la Lógica. María José Frápolli, editora. Tecnos. Madrid. España (ver borrador)
  17. "Magical Diagonalisation" , con Enrique Alonso [2009]. En Dimensions of Logical Concepts. J.-Y. Béziau and A. Costa-Leite, eds. Coleção CLE, v.54, UNICAMP.
  18. "León Henkin", con Enrique Alonso [2007], en Lógica, Filosofía del Lenguaje y de la Lógica. A. Nepomuceno, F. J. Salguero, F. Soler editores.  Mergablum. Sevilla. 
  19. "Razonamiento formal" [2006], en 50 años de la Inteligencia Artificial. Antonio Fernández Caballero y Sergio Miguel Tomé eds. Albacete: España.
  20. "Diagonalization and Church's Thesis: Kleene's Homework", con Enrique Alonso. [2005] HPL (History and Philosophy of Logic) Taylor & Francis. U.K.
  21. "Introduction to Many-sorted logic" en Many Sorted Logic and its Applications, Tucker and Meinke eds.  John Wiley and Sons. Chichester: U.K.
  22. "Divergencia y rivalidad entre lógicas". En Enciclopedia Iberoamericana de Filosofía.  Volumen 27 de Filosofía de la Lógica. Raúl Orayen y Alberto Moretti eds. Trotta. España.
  23. Editorial "Tools for Teaching Logic" con Hans van Ditmarsch, en Special issue Logic Journal of the IGPL. Oxford University Press
  24. "¿Qué es esa cosa llamada lógica?'' En Representación y logicidad.  A. Nepomuceno ed. Fénix Editora. Sevilla. 
  25. "A fashionable Partial and Heterogeneous mirror for Modality", con Antonia Huertas en JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthay. Jelle Gerbrandy et alts eds. Amsterdam University Press. Amsterdam
  26. "The Little Mermaid" [1998], en Truth in Perspective, Concepción Martinez et alt eds  Ashgate. Aldershot (U.K)C. 
  27. "Descriptive Dynamic Logic and and its Applications to Reflective Architectures” [1998], con Sierra, L. Godo, R. Lopez de Mantaras. In: Handbook of Fuzzy Computation Oxford University Press, 
  28. "Life, Work and some Miracles of Alonzo Church" [1997]  En History and Philosophy of Logic. Taylor and Francis.London. U.K.

En el curso 2017-2018 la sede del máster es la Universidad de Valladolid

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad