|
||||||||||||||||||||||||||||||
Publicaciones o Documentos Científico-Técnicos
CLAVE: L = libro completo, CL = capítulo de libro, A = artículo, R = “review”, E = editor, S = Documento Científico-Técnico restringido. CLAVE: L = LIBROS COMPLETOS
CLAVE: LIBROS EN CD-R Autores (p.o. de firma): María Manzano Título: Corrientes lógicas contemporáneas, en Hacia una Historia de la Filosofía del Momento Presente, coordinador Ángel Poncela. Referencia revista/libro: ISBN: 978-84-87469-64-0 Clave: CD-Rom, Colección: CELARAYN DIDÁCTICA, Fecha: 2011 Editorial (si libro): Editorial CELARAYN. Lugar de publicación: Salamanca: España. Autores (p.o. de firma): María Manzano Título: Razonamiento Formal: Lógica y Ficción, en Filosofía y Sociedad (Sugerencias didácticas y metodológicas para la docencia en educación secundaria) coordinador Ángel Poncela. Referencia revista/libro: ISBN: 978-84-87469-63-3 Clave: CD-Rom, Colección: CELARAYN DIDÁCTICA, Fecha: 2011 Editorial (si libro): Editorial CELARAYN. Lugar de publicación: Salamanca: España. Compiladora: María Manzano Título: SUMMA LOGICAE EN EL SIGLO XXI Referencia revista/libro: ISBN: 84-7800-627-3 Clave: CD-Rom / Colección: Unimedia, 5 / Fecha: 2004 Editorial: Ediciones Universidad de Salamanca. Lugar de publicación: Salamanca. España Autores (p.o. de firma): María Manzano y Antonia Huertas Título: El Universo Matemático en SUMMA LOGICAE Referencia revista/libro: ISBN: 84-7800-627-3 Clave: CD-Rom / Colección: Unimedia, 5 / Fecha: 2004 Editorial: Ediciones Universidad de Salamanca. Lugar de publicación: Salamanca. España Autores (p.o. de firma): María Manzano, Antonia Huertas y Ian Hodkinson Título: Apuntes de lógica en SUMMA LOGICAE Referencia revista/libro: ISBN: 84-7800-627-3 Clave: CD-Rom / Colección: Unimedia, 5 / Fecha: 2004 Editorial: Ediciones Universidad de Salamanca. Lugar de publicación: Salamanca. España CLAVE: CL= CAPÍTULOS DE LIBRO Autores: Manzano, M. Moreno, M. C. Título: Quantifiers and Conceptual Existence. Referencia revista/libro Mario Bunge: A Centenary Festschrift. Boston Studies in the Philosophy and History of Science. ISBN 978-3-030-16672-4 DOI: 10.1007/978-3-030-16673-1 Editorial: Springer Fecha: 2019 Autores (p.o. de firma): Patrick Blackburn, Manuel Martins, María Manzano, y Antonia Huertas. Título: Rigid First-Order Hybrid Logic. Referencia revista/libro Logic, Language, Information, and Computation. Rosalie Iemhoff, Michael Moortgat y Ruy de Queiroz (Eds.) ISSN 0302-9743 ISSN 1611-3349 (electronic). LNCS 11541 ISBN 978-3-662-59532-9 ISBN 978-3-662-59533-6 (eBook) https://doi.org/10.1007/978-3-662-59533-6 https://link.springer.com/chapter/10.1007/978-3-662-59533-6_4 Editorial: Springer Fecha: 2019 Autores (p.o. de firma): Manzano, M. Aliseda, A. Título: Apuntes para una historia de la lógica en Iberoamérica en el siglo XX. Referencia revista/libro: EIAF (Enciclopedia IberoAmericana de Filosofía). Volumen 33/1. Filosofía Iberoamericana del siglo XXI ISBN: 978-84-9879-555-4 Editorial: Trotta, Madrid Clave: CL Páginas: desde 101 hasta 170 Fecha: 2015 Autores (p. o. de firma): Manzano, María Título: Henkin on Completeness. Referencia revista/libro: ISBN: The Life and Work of Leon Henkin. Essays on His Contributions. ISBN 978-3-319-09718-3 DOI 10.1007/978-3-319-09719-0_12 Serie: Studies in Universal Logic. Editoria: Springer Basil. Clave: CL Páginas: desde149 hasta176 Fecha: 2014 Autores (p. o. de firma): Manzano, María Título: April the 19th. Referencia revista/libro: ISBN: The Life and Work of Leon Henkin. Essays on His Contributions. ISBN 978-3-319-09718-3 DOI 10.1007/978-3-319-09719-0_18 Serie: Studies in Universal Logic. Editoria: Springer Basil. Clave: CL Páginas: desde 265 hasta 278 Fecha: 2014 Autores (p. o. de firma): Manzano, María y Alonso, Enrique. Título: Leon Henkin. Referencia revista/libro: ISBN: The Life and Work of Leon Henkin. Essays on His Contributions. ISBN 978-3-319-09718-3 DOI 10.1007/978-3-319-09719-0_1 Serie: Studies in Universal Logic. Editoria: Springer Basil. Clave: CL Páginas: desde 3 hasta 22 Fecha: 2014 Autores (p. o. de firma): Blackburn, P., Jorgensen, F. K., Manzano, M. y Huertas, A. Título: Henkin and Hybrid Logic. Referencia revista/libro: ISBN: The Life and Work of Leon Henkin. Essays on His Contributions. ISBN 978-3-319-09718-3 DOI 10.1007/978-3-319-09719-0_19 Serie: Studies in Universal Logic. Editoria: Springer Basil. Clave: CL Páginas: dessde 279 hasta 306 Fecha: 2014 Autores (p.o. de firma): Manzano, M. Título: Logic and Fiction. Henrique Jales Ribeiro (Ed.) (2012). Inside Arguments: Logic and the Study of Argumentation. Newcastle upon Tyne (UK): Cambridge Scholars Publishing. ISBN (10): 1-4438-3880-2, ISBN (13): 978-1-4438-3880-1 Autora: María Manzano Título: Antecedentes de la teoría de los tipos híbrida, pp. 69-75 En H. van Ditmarsch, F. J. Salguero, F. Soler (eds): Liber Amicorum Angel Nepomuceno: Homenaje en su sexuagésimo cumpleaños, ISBN 978-84-614-5116-6, Sevilla, Fénix Editora, Fecha: 2011. Autora: María Manzano. Título: Teoría de Modelos, en Compedio de Lógica, Argumentación y Retórica. Luis Vega Reñón, editor. ISBN: 9788498791914, Editorial Trotta. Fecha: 2011. Autores (p.o. de firma): María Manzano y Enrique Alonso Título: Magical Diagonalisation, en Dimensions of Logical Concepts. Autores edited by J.-Y. Béziau and A. Costa-Leite. Coleção CLE, v.54, UNICAMP. Referencia revista / libro: ISBN: 978-85-86497-05-6. Clave: A páginas 1-24 Fecha: 2009 Autores (p.o. de firma): María Manzano y Enrique Alonso Título: León Henkin, Cap. 1 de Lógica, Filosofía del Lenguaje y de la Lógica.. A. Nepomuceno, F. J. Salguero, F. Soler editores Referencia revista / libro: ISBN 84-689-9328-X Editorial Mergablum. Sevilla Clave: A páginas 1-24 Fecha: 2007 Autores (p.o. de firma): María Manzano Título: Razonamiento formal, en 50 años de la Inteligencia Artificial. Antonio Fernández Caballero y Sergio Miguel Tomé eds Referencia revista / libro: ISBN 84-689-9328-X Clave: A páginas 67-89 Editorial: Gráficas Quintanilla. Lugar de publicación: Albacete: España Fecha: 2006 Autores (p.o. de firma): María Manzano Título: Lógica de orden superior, en Filosofía de la Lógica. María José Frápolli, editora Referencia revista / libro: ISBN 978-84-309-4547-4 DL M-547-2008 Clave: CL. Páginas, inicial:119, final: 150 Editorial (si libro): Tecnos. Lugar de publicación: Madrid: España Fecha: 2008 Autores (p.o. de firma): María Manzano Título: Lógica multivariada: Matadora de Lógicas, en Perspectivas actuales de Lógica y Filosofía de la ciencia E. De Bustos, J.C. García-Bermejo, E. Perez Sedeño, A. Rivadulla, J.Urrutia, J.L.Zofío, eds Referencia revista / libro: ISBN 0521354358 Clave: CL. Páginas, inicial: 169 final: 192 Editorial (si libro): Siglo XXI. Lugar de publicación: Madrid: España Fecha: 1994 Autores (p.o. de firma): María Manzano Título: Introduction to Many-sorted logic, en Many Sorted Logic and its Applications, Tucker and Meinke eds. Referencia revista / libro: ISBN 0-471-93485-2. Clave: CL. Páginas, inicial: 1 final: 86 Editorial (si libro): John Wiley and Sons. Lugar de publicación: Chichester: U.K. Fecha: 1993 CLAVE: A= ARTÍCULOS Autores (p.o. de firma): María Manzano, Manuel Martins y Antonia Huertas Título: Completeness in Equational Hybrid Propositional Type Theory. Referencia revista/libro: ISSN: 0039-3215 (Print) 1572-8730 (Online) Revista: Studia Logica https://doi.org/10.1007/s11225-018-9833-5 pp. Desde 1159 hasta 1198 Número 107(6) Clave: A Editorial: Springer Fecha: 2019 Autores (p.o. de firma): María Manzano, Manuel Crescencio Moreno Título: Identity, Equality, Nameability and Completeness Part II. Referencia revista/libro: ISSN 0138-0680/ e-ISSN 2449-836X Revista: Bulletin of the Section of Logic https://doi.org/10.18778/0138-0680.47.3.01 Número 47:3/4 pp.141-158 Clave: A Editorial: Lódz University Press Fecha: 2018 Autores (p.o. de firma): María Manzano, Manuel Crescencio Moreno Título: Identity, Equality, Nameability and Completeness. Referencia revista/libro: ISSN 0138-0680/ e-ISSN 2449-836X Revista: Bulletin of the Section of Logic https://doi.org/10.18778/0138-0680.46.3.4.02 Números: 46:3/4 pp.169-196 Clave: A Editorial: Lódz University Press Fecha: 2017 Autores (p.o. de firma): María Manzano, Nitsa Movshovitz-Hadar and Diane Resek Título: Leon Henkin: A logician’s view on mathematics education Revista: IFCoLog Journal of Logic and its Applications Special Issue: Tools for Teaching Logic. Volume 4, Number 1. Referencia revista/libro: ISSN PRINT 2055-3706 ISSN ONLINE 2055-3714 Clave: A Editorial: College Publications Fecha: January 2017 Autores (p.o. de firma): María Manzano, Manuel A. Martins y Antonia Huertas Título: A Semantics for Equational Hybrid Propositional Type Theory. Referencia revista/libro: ISSN 0138-0680 Revista: Bulletin of the Section of Logic Número 43:3/4 Páginas 121-138 Clave: A Editorial: Lódz University Press Fecha: 2014 Autores (p.o. de firma): María Manzano y Enrique Alonso Título: Visions of Henkin. https://doi.org/10.1007/s11229-013-0389-7 Referencia revista/libro: ISSN: 0039-7857 (Print) 1573-0964 (Online) Revista: Synthese Volume 192. Issue 7, pp 2123-2138 Clave: A Fecha publicación en papel: Julio 2015 Volume 192. Issue 7, pp 2123-2138 Editorial: Springer Fecha publicación on-line: Enero 2014 Fecha publicación en papel: Julio 2015 Autores (p.o. de firma): Manzano, M. Huertas, A., Areces, C. y Blackburn, P. Título: Completeness in Hybrid Type Theory Revista: J Philos Logic (Journal of Philosophical Logic) DOI 10.1007/s10992-012-9260-4 Fecha: 2013 Autores (p.o. de firma): Manzano, M. Alonso, E. Título: Completeness: from Gödel to Henkin Revista: HPL (History and Philosophy of Logic). Editorial: Taylor Francis. U.K. Fecha: enviado y aceptado Autores (p.o. de firma): Aliseda, A. Manzano, M. Título: Apuntes para una historia de la lógica en Iberoamérica en el siglo XX. EIAF. Editorial Trota Fecha: enviado y aceptado Autores (p.o. de firma): Areces, C. y Blackburn, P. Huertas, A., Manzano, M. Título: 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 Fecha: 2011 Autores (p.o. de firma): Manzano, M y Moreno, M. C. Título: Argumentos ontológicos, BAJO PALABRA, Revista de Filosofía. II Época, nº 5 ISSN: 1576-3935 (433-448) Fecha: 2010 Autores (p.o. de firma): Manzano, M. y Alonso, E. Título: Nociones de completud. ISSN 07984324, EPISTEME NS, Vol. 29, No.1, pp. 51-84. Fecha: enero-junio, 2009 Autores (p.o. de firma): Manzano, M. y Urtubey, L. Título: Completeness and Interpolation with a standard abstract consequence relation. Unilog 2010. Handbook of the World Congress on Universal Logic and School III. Beziau y otros eds. http://www.uni-log.org/start3.html Fecha: 2010 Autores (p.o. de firma): María Manzano y Enrique Alonso Título: Completeness: actors, history and meaning. Unilog 2010. Handbook of the World Congress on Universal Logic and School III. Beziau y otros eds. http://www.uni-log.org/start3.html Fecha: 2010 Autores (p.o. de firma): María Manzano Título: Completud y Leon Henkin En Actas del VI Congreso Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, ISBN 978-84-370-7655-3, páginas 85-90. Valencia. Fecha: 2009 Editores (p.o. de firma): Hans van Ditmarsch and María Manzano Título: Editorial Tools for Teaching Logic, en Special issue Logic Journal of the IGPL Referencia revista / libro: Online ISSN 1368-9894 - Print ISSN 1367-0751Editorial: Oxford University Press Lugar de publicación: Oxford, U.K. Fecha: 2007 Autores (p.o. de firma): María Manzano y Julio Ostalé Título: Three levels of translation into many-sorted logic Fecha: 2007 Autores (p.o. de firma): María Manzano y Enrique Alonso Título: Magical Diagonalization Fecha: 2007 Autores (p.o. de firma): María Manzano Título: ¿Qué es esa cosa llamada lógica?, en Representación y logicidad. A. Nepomuceno, editor Referencia revista / libro: ISBN 84-609-7872-9 Clave: A. páginas, inicial 19 / final 36. Fecha: 2005 Editorial: Fénix Editora. Lugar de publicación: Sevilla. España Autores (p.o. de firma): María Manzano y Enrique Alonso Título: Diagonalization and Church's Thesis: Kleene's Homework Referencia revista / libro: ISSN 0144-5340 Revista: HPL (History and Philosophy of Logic) volumen 26, número 2 Clave: A / Fecha: 2005 Editorial: Taylor & Francis. UK Autores (p.o. de firma): María Manzano Título: 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. Referencia revista / libro: ISBN 84-8164-673-3 Clave: A / Fecha: 2004 / Editorial: Trotta. España. Autores (p.o. de firma): María Manzano, Gustavo Santos y Antonia Huertas Título: Lógica modal con MAUDE I y II, en Actas de IV Congreso de la Sociedad de lógica, Metodología de la Ciencia y Filosofía de la Ciencia en España. Agustín Vicente y otros eds. Referencia revista / libro: ISBN 84-688-8448-0 Clave: A / Fecha: 2004 Autores (p.o. de firma): Antonia Huertas, María Manzano y Gustavo Santos Título: Un cálculo de LHP para LMP. Un cálculo heterogéneo parcial para lógica modal de predicados, en Actas de IV Congreso de la Sociedad de lógica, Metodología de la Ciencia y Filosofía de la Ciencia en España. Agustín Vicente y otros eds. Referencia revista / libro: ISBN 84-688-8448-0 Clave: A / Fecha: 2004 Autores (p.o. de firma): Enrique Alonso y María Manzano Título: Summa Logicae, en Actas de IV Congreso de la Sociedad de lógica, Metodología de la Ciencia y Filosofía de la Ciencia en España. Agustín Vicente y otros eds. Referencia revista / libro: ISBN 84-688-8448-0 Clave: A / Fecha: 2004 Autores : María Manzano Título: Una nueva prueba de incompletud de la lógica de segundo orden, en Episteme NS. Revista del Instituto de Filosofía, Vol 21, nº 1 Referencia revista / libro: pp198102DF423 Clave: A / Páginas, inicial: 31 / final:59 / Fecha: 2001 Editorial: Ediciones de la Facultad de Humanidades. Lugar de publicación:. Caracas. Venezuela Autores : María Manzano Título: Genéricos, Similares y Equivalentes de Identidad, en Logic, Language and Information. (Proceedings of the First Workshop on Logic and Language). Angel Nepomuceno et alt eds. Referencia revista / libro: ISBN 84-85101-57-X Clave: A / Páginas, inicial: 163 / final:170 / Fecha: 2000 Editorial: Kronos. Lugar de publicación: Sevilla. España Autores : María Manzano Título: Wanted, Demostrador de teoremas para lógica heterogénea, en RSME'2000 (Actas del Primer Congreso anual de la Real Sociedad Matemática Española.) Manuel Ojeda, ed. Clave: A / Páginas, inicial: 71, final: 82 / Fecha: 2000 Lugar de publicación: Madrid. España Autores : María Manzano Título: ARACNE. En Proceedings of the First International Congress on Tools for Teaching Logic. Compiladora: María Manzano. Referencia revista / libro: DL: S. 443-2000 Clave: A / Páginas, inicial: 71, final: 74 / Fecha: 2000 Editorial: Universitaria de Salamanca. Lugar de publicación: Salamanca. España Autores : María Manzano Título: La identidad y la igualdad en la lógica de orden superior, en Actas del primer congreso iberoamericano de filosofía de la ciencia y la tecnología: El conocimiento y el desarrollo en el siglo XXI. León Olivé et alts eds. Clave: A / Páginas, inicial: 204, final: 205 / Fecha: 2000 Editorial: Departamento de Publicaciones del Instituto de Investigaciones Filosóficas, UNAM. Lugar de publicación: Morelia. México. Autores (p.o. de firma): María Manzano y Antonia Huertas Título: A fashionable Partial and Heterogeneous mirror for Modality, en JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthay. Jelle Gerbrandy et alts eds. Referencia revista / libro: ISBN 9056291041 Clave: A / Volumen: CD-ROM / Páginas: 10 / Fecha: 1999 Editorial: Amsterdam University Press. Lugar de publicación: Amsterdam. Holanda Autores (p.o. de firma): María Manzano Título: Lambda Abstractor was Philosopher´s Stone for Alonzo Church, en Actas del 11 International Congress of Logic, Methology and Phil. of Science. Jecek Cachro et alts eds. Referencia revista / libro: ISBN 8391225208 Clave: A / Páginas, inicial: 435, final: 436 / Fecha: 1999 Editorial: Publications Faculty of Philosophy. Lugar de publicación: Jagiellonian University. Polonia Autores (p.o. de firma): María Manzano Título: Vida, Obra y algunos Milagros de Alonzo Church, en Agora. Referencia revista / libro: ISSN 0211-6642 Clave: A / Volumen: 18 / Páginas, inicial: 107, final: 132 / Fecha: 1999 Lugar de publicación: Santiago de Compostela. España Autores (p.o. de firma): María Manzano Concepción Martinez et alt eds. Título: The Little Mermaid, en Truth in Perspective, Concepción Martinez et alt eds Referencia revista / libro: ISBN 1859726984 Clave: A / Páginas, inicial: 83, final: 111 / Fecha: 1998 Editorial: Ashgate. Lugar de publicación: Aldershot. UK Autores (p.o. de firma): María Manzano y Aitor Mata Título: Los Enigmas de Ulises, en Actas de Jornadas sobre Matemáticas y su enseñanza. Clave: A / Páginas: 3 / Fecha: 1998 Editorial (si libro): Cátedra Sanchez Mazas. Lugar de publicación: Donostia. España Autores (p.o. de firma): María Manzano Título: Life, Work and some Miracles of Alonzo Church, en The Journal of History and Philosophy of Logic Referencia revista / libro: ISSN 0144-5340 Clave: A / Volumen: 18 / Páginas, inicial: 211, final: 232 / Fecha: 1997 Editorial: Taylor and Francis. Lugar de publicación: London. UK Autores (p.o. de firma): María Manzano Título: "Modal representation in Henkin´s Non-standard Second Order Logic". En The Bulletin of the Workshop on Model Theory and Complexity, Borrego et atls eds Referencia revista / libro: ISBN: 84-88620-08-X Clave: A / Páginas, inicial: 87, final: 96 / Fecha: 1997 Editorial: Kronos. Lugar de publicación: Sevilla. España Autores: Manuel Clavel y María Manzano Título: Mapas de Instituciones: de la Lógica Modal S4 a la Lógica Heterogénea, en Actas del II Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia. Anna Estany et alts eds. Referencia revista / libro: ISBN: 84-600-9372-7 Clave: A / Páginas, inicial: 473, final: 477 / Fecha: 1997 Editorial: Serveis de Publicacions de la UAB. Lugar de publicación: Barcelona. España Autores (p.o. de firma): María Manzano, Carlos Sierra, Lluís Godo, Ramón López de Mántaras Título: Descriptive Dynamic Logic and its Applications to Reflective Architectures, en Future Generations Computer Systems. Referencia revista / libro: ISSN 0167-739X Clave: A / Volumen: 12 / Páginas, inicial:157, final: 171 / Fecha: 1996 Editorial: Elsevier Science. Lugar de publicación: Amsterdam. Holanda Autores (p.o. de firma): María Manzano y Antonia Huertas Título: Partial and Heterogeneous Logic: Cooking up your Logic, en Actas del 10th International Congress of Logic, Methodology and Philosophy of Science. Referencia revista / libro: Clave: A / Páginas, inicial: 139, final: 140 / Fecha: 1995 Editorial: Comune di Cesena-Assessorato alla Cultura. Lugar de publicación: Florencia. Italia Autores (p.o. de firma): María Manzano Título: Alonzo Church: In memoriam, en Butlletí de L'ACIA (Associació Catalana d'Intelligència Artificial). Referencia revista / libro: DL: GI 1348/94 Clave: A / Páginas, inicial: 13, final: 17 / Fecha: 1996 Editorial:. Lugar de publicación: Barcelona. España Autores (p.o. de firma): María Manzano Título: La gallina de los huevos de oro (Capacidad expresiva, Metateoría de Conjuntos e Incompletud), en Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia. Bustos et alts eds. Referencia revista / libro: ISBN 84-604-8342-8 Clave: A / Páginas, inicial: 90, final: 94 / Fecha: 1993 Editorial: Departamento de Reprografía de la UNED. Lugar de publicación: Madrid. España Autores (p.o. de firma): M. Manzano, A. Kurucz y I.. Sain.... Título: How to Increase Applicability of a Mathematical Concept of Higher Order Logic to Real Higher Order Phenomena, en Logic @ Work Clave: A / Fecha: 1993 Editorial: Oxford University Press. Lugar de publicación: Oxford. UK Autores (p.o. de firma): María Manzano y Antonia Huertas Título: Many-Sorted Logic as a unifing framework, en The Journal of Symbolic Logic. Referencia revista / libro: ISSN 0022-4812 Clave: Abstract / Volumen: 58 / Páginas, inicial: 755, final: 756 / Fecha: 1993 Editorial:. Lugar de publicación: USA Autores (p.o. de firma): María Manzano Título: Teoría de Modelos, en Actas del VIII Congreso de Lenguajes Naturales y Lenguajes Formales. Carlos Martín Vide, ed. Referencia revista / libro: ISBN: 84-477-0002-X Clave: A / Páginas, inicial: 67, final: 80 / Fecha: 1992 Editoria: PPU. Barcelona. Lugar de publicación: Barcelona. España Autores (p.o. de firma): María Manzano y Antonia Huertas Título: Conversión de S5 en lógica bivariada (Prueba alternativa de completud), en Actas del VI Congreso de Lenguajes Naturales y Lenguajes Formales. Carlos Martín Vide, ed. Referencia revista / libro: Clave: A / Páginas, inicial: 683, final: 697 / Fecha: 1990 Editorial: PPU. Barcelona. Lugar de publicación: Barcelona. España Autores (p.o. de firma): María Manzano Título: La Bella y la Bestia. (perdón, Lógica e Informática, en Arbor. Referencia revista / libro: ISSN 02101963 Clave: A / Volumen: 543 / Páginas, inicial: 17, final: 42 / Fecha: 1991 Editorial: Servicio de publicaciones del C.S.I.C. Lugar de publicación: Madrid. España Autores (p.o. de firma): María Manzano Título: Lógica dinámica, en Agora. Referencia revista / libro: ISSN 0211-6642 Clave: A / Volumen: 9 / Páginas, inicial: 31, final: 43 / Fecha: 1990 Lugar de publicación: Santiago de Compostela. España Autores (p.o. de firma): María Manzano Título: SOLO: a second order theory equivalent to PDL, en The Journal of Symbolic Logic. Referencia revista / libro: ISSN 0022-4812 Clave: Abstract / Volumen: 54 / Páginas, inicial: 661, final: 662 / Fecha: 1989 Editorial:. Lugar de publicación: USA Autores (p.o. de firma): María Manzano Título: Emperor's new clothes, en The Journal of Symbolic Logic. Referencia revista / libro: ISSN 0022-4812 Clave: Abstract / Volumen: 52 / Páginas, inicial: 329 / final: 330 / Fecha: 1987 Editorial:. Lugar de publicación: USA Autores (p.o. de firma): María Manzano Título: Aspectos de la Investigación en Lógica en España, hoy, en Actas del III Congreso de Lenguajes naturales y lenguajes formales. Carlos Martín Vide, ed. Referencia revista / libro: Clave: A / Fecha: 1987. Editorial: PPU. Lugar de publicación: Barcelona. España Autores (p.o. de firma): María Manzano Título: The first Barcelona Symposium on History and Philosophy of Science, en Theoría Referencia revista / libro: ISSN 0495-4548. Clave: A / Volumen: 5-6 / Fecha: 1987 Editorial:. Lugar de publicación: Autores (p.o. de firma): María Manzano Título: Nuevos hechos, viejos lenguajes, en Actas de: V Congrès Catalá de Lògica. J. Agustí, ed. Referencia revista / libro: D.L. B-687187 Clave: A / Páginas, inicial: 17, final: 22 / Fecha: 1986 Editorial:. Lugar de publicación: Barcelona. España Autores (p.o. de firma): María Manzano Título: 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, en Actas del I Simposio Hispano-Mexicano de Filosofía. Miguel Angel Quintanilla et alts eds. Referencia revista / libro: -. ISBN: 84-7481-384-7 Clave: A / Volumen: II / Páginas, inicial: 35, final: 52 / Fecha: 1986 Editorial: Ediciones Universidad de Salamanca. Lugar de publicación: Salamanca. España Autores (p.o. de firma): María Manzano Título: Formalización en teoría de tipos del predicado de existencia de Mario Bunge, en Theoria. Referencia revista / libro: ISSN 0495-4548 Clave: A / Volumen: 2 / Páginas, inicial: 513, final: 534 / Fecha: 1985 Editorial:. Lugar de publicación: San Sebastián. España Autores (p.o. de firma): María Manzano Título: Conferències del professor Leon Henkin de la Universitat de California (Berkeley), en Ciència. Revista catalana de Ciència y tecnologia. Referencia revista / libro: Clave: R / Volumen: 24 / Fecha: 1983 Editorial:. Lugar de publicación: Barcelona. España Autores (p.o. de firma): María Manzano Título: Los sistemas inductivos, en Lógica, Epistemología y Teoría de la Ciencia. Estudios de Educación. MEC. Rodolfo Fernández, ed. Referencia revista / libro: . ISBN 84-369-0914-3. Clave: A / Páginas, inicial: 19, final: 34 / Fecha: 1982 Editorial:. Lugar de publicación: Madrid. España Autores (p.o. de firma): María Manzano Título: Los sistemas generales, en Estudios de Lógica y de Filosofía de la Ciencia. Compilador: Miguel Angel Quintanilla Referencia revista / libro: ISBN 84-7481-208-9 Clave: A / Páginas, inicial: 65, final: 100 / Fecha: 1982 Editorial: Ediciones de la Universidad de Salamanca. Lugar de publicación: Salamanca. España DOCUMENTOS EDITADOS. CLAVE: E Editores: Hans van Ditmarsch and María Manzano Título: Special issue Logic Journal of the IGPL Referencia revista / libro: ISSN 1367-0751 Clave: E. Fecha: 2007 Editorial: IGPL (Oxford University Press) Lugar de publicación: Oxford, U.K. Editores: María Manzano , Ana Belén Gil y Belén Pérez Lancho Título: Proceedings of the Second International Congress on Tools for Teaching Logic. Referencia revista / libro: ISBN 84-690-0348-8 Clave: E. Fecha: 2006 Editorial: Gráficas Idem. Lugar de publicación: Salamanca. España Editores: Antonio Fernández Caballero, María Gracia Manzano, Enrique Alonso, Sergio Miguel Tomé Título: Actas del Campus Interdisciplinar en Percepción e Inteligencia CMPI-2006. Vol I y II Referencia revista / libro: ISBN 84-689-9560-6 Clave: E. Fecha: 2006 Editorial: Gráficas Quintanilla. Lugar de publicación: Albacete, España Editores: María Manzano Título: AZAFEA (Revista de Filosofía). Cuestiones de Lógica Actual Referencia revista / libro: ISBN 8 0213-3563 Vol 8 Clave: E. Fecha: 2006 Editorial: Ediciones Universidad de Salamanca. Lugar de publicación: Salamanca. España Editores: María Manzano Título: Proceedings of the First International Congress on Tools for Teaching Logic. Referencia revista / libro: DL: S. 443-2000 Clave: E / Páginas, inicial: 1, final: 185 / Fecha: 2000 Editorial: Universitaria de Salamanca. Lugar de publicación: Salamanca. España DOCUMENTOS CIENTÍFICO-TÉCNICOS RESTRNGIDOS. CLAVE: S Autores (p.o. de firma): María Manzano y Antonia Huertas Título: Extensions of First Order Logic (Reader del curso). En Proceedings of the Eighth European Summer School in Logic, Language and Information. Referencia: Documento de circulación interna en la Summer School. (600 participantes) Clave: S / Páginas, inicial: 1, final: 80 / Fecha: 1996. Editorial: University of Prague. Lugar de publicación: Prague. República Checa Autores (p.o. de firma): María Manzano Título: Introductory Model Theory (Reader del curso) En Proceedings of the Fourth European Summer School in Logic, Language and Information. Referencia: Documento de circulación interna en la Summer School. (700 participantes) Clave: S / Páginas, inicial: 1, final: 20 / Fecha: 1992. Editorial: University of Essex. Lugar de publicación: Colchester. UK Autores (p.o. de firma): María Manzano Título: SOLO: Una teoría de segundo orden equivalente a la lógica dinámica. Reader del curso. En VI Cursos de Verano de San Sebastián, Ciclo: Ciencia y Técnica. Referencia: Documento de circulación interna en la Escuela de Verano. Clave: S / Páginas, inicial: 1, final: 18 / Fecha: 1987. Editorial: Universidad del País Vasco. Lugar de publicación: San Sebastián. España Autores (p.o. de firma): María Manzano Título: Modal representation in Henkin's Non-standard Second Order Logic. En la Revista editada para los Social Afikiates en la que se dá cuenta de las actividades desarrolladas Referencia: Documento de circulación interna en el CSLI Clave: S / Páginas, inicial: 1, final: 80 / Fecha: 1996. Editorial: University of Stanford. Lugar de publicación: Stanford. USA NOTAS EN BOLETINES SOCIEDADES Autores (p.o. de firma): María Manzano Título: León Henkin: In memoriam, en Butlletí de l’HACIA, 2007 Autores (p.o. de firma): María Manzano Título: León Henkin: In memoriam, en Boletín de la SOLOFICI, 2007 ENTRADAS EN DICCIONARIO DE FILOSOFÍA Autores: María Manzano Título: Lógica de segundo orden. Diccionario de Filosofía. Referencia revista / libro: http://www.innova.uned.es/ Autores: María Manzano Título: Teoría de tipos. Diccionario de Filosofía. Referencia revista / libro: http://www.innova.uned.es/ Autores: María Manzano Título: Teoría de modelos. Diccionario de Filosofía. Referencia revista / libro: http://www.innova.uned.es/ |
||||||||||||||||||||||||||||||