Instituciones
Área de conocimientoPáginas webPortal Institucional (Dialnet CRIS)Identificadores de autorPeriodo de publicación recogido
|
|
|
Hybrid type theory: a quartet in four movements
Carlos Areces, Patrick Blackburn, María Antonia Huertas Sánchez, María Manzano
Principia: an international journal of epistemology, ISSN-e 1808-1711, Vol. 15, Nº. 2, 2011, págs. 225-247
María Manzano, Manuel C. Moreno
Bajo palabra. Revista de filosofía, ISSN-e 1887-505X, ISSN 1576-3935, Nº. 5, 2010, págs. 433-448
Presentación [Cuestiones de lógica actual]
María Manzano
Azafea: revista de filosofía, ISSN 0213-3563, Nº. 8, 2006 (Ejemplar dedicado a: Cuestiones de lógica actual), págs. 11-16
Vida, obra y algunos milagros de Alonzo Church
María Manzano
Agora: Papeles de filosofía, ISSN 0211-6642, Vol. 18, Nº 1, 1999, págs. 107-132
María Manzano
Arbor: Ciencia, pensamiento y cultura, ISSN 0210-1963, Nº 543, 1991, págs. 17-42
Formalización en teoría de tipos del predicado de existencia de Mario Bunge
María Manzano
Theoria: an international journal for theory, history and foundations of science, ISSN 0495-4548, Vol. 1, Nº 2, 1985, págs. 513-534
Tools for Teaching Logic transcurridos 22 años
María Manzano
Lógica, conocimiento y abducción: homenaje a Ángel Nepomuceno / coord. por Cristina Barés Gómez, Francisco José Salguero Lamillar, Fernando Soler Toscano, 2021, ISBN 9781848903586, págs. 63-82
Apuntes para una historia de la lógica en Iberoamérica en el siglo XX
Atocha Aliseda, María Manzano
Filosofía iberoamericana del siglo XX. Vol. I, Filosofía teórica e historia de la filosofía / coord. por Manuel Reyes-Mate Rupérez, Osvaldo Guariglia, León Olivé Morett, 2015, ISBN 978-84-9879-555-4, págs. 101-170
Los teoremas de completud y Leon Henkin
María Manzano
Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE): 18 - 21 de noviembre / coord. por Jesús Alcolea Banegas, Valeriano Iranzo García, Ana Sánchez, Jordi Valor Abad, 2009, ISBN 978-84-370-7655-3, págs. 85-89
María Manzano
Filosofía de la lógica / coord. por María José Frápolli Sanz, 2008, ISBN 978-84-309-4547-4, págs. 119-149
Enrique Alonso, María Manzano
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.), Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 471-476
Un cálculo de LHP para LMP: un cálculo heterogéneo parcial para lógica modal de predicados
María Antonia Huertas Sánchez, María Manzano, Gustavo Santos García
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.), Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 486-490
María Manzano, María Antonia Huertas Sánchez, Gustavo Santos García
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.), Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 491-495
María Manzano, María Antonia Huertas Sánchez, Gustavo Santos García
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.), Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 496-500
Alonzo Church: his life, his work and some of his miracles.
María Manzano
Summa logicae en el siglo XXI [Archivo de ordenador] / María Manzano (aut.), 2004, ISBN 84-7800-627-3
A fashionable partial and heterogeneous mirror for modality
María Manzano, María Antonia Huertas Sánchez
Summa logicae en el siglo XXI [Archivo de ordenador] / María Manzano (aut.), 2004, ISBN 84-7800-627-3
La Bella y la Bestia (perdón, Lógica e Informática)
María Manzano
Summa logicae en el siglo XXI [Archivo de ordenador] / María Manzano (aut.), 2004, ISBN 84-7800-627-3
Eight European Summer School in Logic, Language and Information Reader of Course: Extensions of First Order Logic
María Manzano, María Antonia Huertas Sánchez
Summa logicae en el siglo XXI [Archivo de ordenador] / María Manzano (aut.), 2004, ISBN 84-7800-627-3
María Antonia Huertas Sánchez, María Manzano
Summa logicae en el siglo XXI [Archivo de ordenador] / María Manzano (aut.), 2004, ISBN 84-7800-627-3
María Manzano, Ian Hodkinson, María Antonia Huertas Sánchez
Summa logicae en el siglo XXI [Archivo de ordenador] / María Manzano (aut.), 2004, ISBN 84-7800-627-3
La gallina de los huevos de oro: (capacidad expresiva, metateoría de conjuntos e incompletud)
María Manzano
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.), Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 90-93
Mapas de Instituciones: de la lógica modal s4 a la lógica heterogénea
Manuel Clavel, María Manzano
Actas del II Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Bellaterra 6-8 de febrero de 1997] / coord. por Anna Estany Profitós, J. Daniel Quesada Casajuana, 1997, ISBN 84-600-9372-7, págs. 473-477
Modal representation in Henkin's non-standard second order logic
María Manzano
The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995 / coord. por Joaquín Borrego Díaz, Francisco José Salguero Lamillar, 1997, ISBN 84-88620-08-X, págs. 87-96
La lógica multivariada: matadora de lógicas
María Manzano
Perspectivas actuales de lógica y filosofía de la ciencia / Juan Carlos García-Bermejo Ochoa (ed. lit.), Andrés Rivadulla Rodríguez (ed. lit.), J. Urrutia (ed. lit.), José Luis Zofío Prieto (ed. lit.), Eduardo Bustos (ed. lit.), Eulalia Pérez Sedeño (ed. lit.), 1994, ISBN 84-323-0857-9, págs. 169-192
María Manzano
Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) / coord. por Carlos Martín Vide, 1992, ISBN 84-477-0002-X, págs. 67-80
Conversación de S5 en bivariada
María Antonia Huertas Sánchez, María Manzano
Lenguajes naturales y lenguajes formales : actas del VI congreso de lenguajes naturales y lenguajes formales : (Tarragona, 17-21 de septiembre de 1990) / coord. por Carlos Martín Vide, Vol. 2, 1991, ISBN 84-7665-867-2, págs. 683-698
Aspectos de la investigación en Lógica en España, hoy
Ignacio Jané Palau, Javier Echeverría Ezponda, J. Daniel Quesada Casajuana, R. Beneyto, Josep Maria Font i Llobet, Antoni Sales Porta, Josep Pla i Carrera, Carlos Sierra García, José Cuena Bartolomé, María Manzano, Buenaventura Verdú i Solans, José Manuel Méndez Rodríguez
Lenguajes naturales y lenguajes formales : actas del III congreso de lenguajes naturales y lenguajes formales : (Sitges-Barcelona, 28 de septiembre-2 de octubre de 1987) / coord. por Carlos Martín Vide, Vol. 1, 1987, ISBN 84-7665-316-6, págs. 271-282
El nuevo traje del emperador: de cómo la sofisticada lógica modal no lucía más que modelos clásicos de primer orden
María Manzano
Simposio Hispano-Mexicano de Filosofía: Salamanca, Octubre 1984 / Sebastián Álvarez Toledo (comp.), Fernando Broncano (comp.), Miguel Ángel Quintanilla Fisac (comp.), Vol. 2, 1986 (Lógica y filosofía del lenguaje), ISBN 84-7481-386-7, págs. 35-51
María Manzano
Estudios de lógica y filosofía de la ciencia / coord. por Miguel Ángel Quintanilla Fisac, 1982, ISBN 84-7481-208-9, págs. 65-100
María Manzano
Lógica, epistemología y teoría de la ciencia: seminario de profesorado universitario, 1981, ISBN 84-369-0914-3, págs. 19-33
María Manzano, María Antonia Huertas Sánchez
Alianza, 2004. ISBN 978-84-206-4570-4
Ha sido reseñado en:
Manual de lógica: María Manzano y Antonia Huertas, Lógica para Principiantes, Filosofía y Pensamiento, Alianza editorial, Madrid, 2004.
Laguna: Revista de Filosofía, ISSN 1132-8177, Nº 15, 2004, págs. 227-228
Summa logicae en el siglo XXI [Archivo de ordenador]
María Manzano (aut.)
Salamanca : Universidad de Salamanca, [2004. ISBN 84-7800-627-3
First International Congress on Tools for Teaching Logic: proceedings : University of Salamanca, June 2000
María Manzano (comp.)
Universidad de Salamanca, 2000
María Manzano
Oxford University Press, Clarendon Press, 1999. ISBN 0198538510
Extensions of first order logic
María Manzano
Cambridge University Press, 1996. ISBN 0521354358
María Manzano
Alianza, 1989. ISBN 84-206-8126-1
María Manzano
Fundación Juan March, 1978. ISBN 84-7075-092-5
Modelos generales de la logica de segundo orden
María Manzano
Tesis doctoral dirigida por Jesús Mosterín (dir. tes.). Universitat de Barcelona (1978).
Tesis doctoral dirigida por María Manzano (dir. tes.), Andrei Moldovan (codir. tes.). Universidad de Salamanca (2023).
Intensions, types and existence
Tesis doctoral dirigida por María Manzano (dir. tes.). Universidad de Salamanca (2017).
Tesis doctoral dirigida por José Ferreirós Domínguez (dir. tes.), María Manzano (codir. tes.). Universidad de Salamanca (2017).
Capacidades de los sistemas lógicos formales: El caso de algunos sistemas lógicos clásicos y de lógica libre
Tesis doctoral dirigida por Atocha Aliseda (dir. tes.), María Manzano (dir. tes.). Universidad de Salamanca (2015).
Non classical systems for uncertain reasoning: non monotonic logics with non classical bases
Tesis doctoral dirigida por María Manzano (dir. tes.), Lluis Godo Lacasa (dir. tes.). Universidad de Salamanca (2006).
Modal logic (of predicates) and (partial and heterogeneous) non-classical logic
Tesis doctoral dirigida por María Manzano (dir. tes.). Universitat de Barcelona (1994).
Una perspectiva de la inteligencia artificial en su 50 aniversario: Campus Multidisciplinar en Percepción e Inteligencia, CMPI 2006, Albacete, España, 10-14 de Julio del 2006 : actas
coord. por Antonio Fernández Caballero, María Manzano, Enrique Alonso, Sergio Miguel Tomé
Universidad de Castilla-La Mancha, 2006. ISBN 84-689-9560-6
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados