:: :: publicaciones :: ::
 
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



 

Studies in Universal Logic
Series Ed.: Béziau, Jean-Yves
A product of Springer Basel


Manzano, M. Sain, I. y Alonso, E. (eds) The Life and Work of Leon Henkin. Essays on His Contributions.
http://logicae.usal.es/henkin/ Studies in Universal Logic. Springer Basil. (en preparación)


Manzano, M. Lógica, lógicas y logicidad vol I. College Publications. (en preparación)

Autores (p.o. de firma): María Manzano
Título:
Lógica, Lógicas y Logicidad
Clave: L Páginas, inicial: 1 final: 400. Fecha: 2006
Editorial (si libro): Biblioteca digital Summa Logicae de la USAL
Lugar de publicación:
http://logicae.usal.es


  Autores (p.o. de firma): María Manzano y Antonia Huertas
Título:
Lógica para principiantes
Referencia revista/libro: ISBN: 84-206-4570-2
Clave: L / Colección: El libro universitario / Páginas, inicial: 1 / final: 422 / Fecha: 2004, 2005 y 2006
Editorial:
Alianza Editorial, S.A. Lugar de publicación: Madrid. España


  Autores (p.o. de firma): María Manzano
Título:
Model Theory
Referencia revista/libro: ISBN 0-19-853851-0
Clave: L / Volumen: 37 / Páginas, inicial: 1 / final: 192 / Fecha: 1999
Editorial:
Oxford University Press.  Lugar de publicación: Oxford. UK


  Autores (p.o. de firma): María Manzano
Título:
Extensions of First-Order Logic
Referencia revista / libro: ISBN 0521354358 y ISBN 10-0-521-01902-8
Clave: L / Volumen: 19 / Páginas, inicial: 1 / final: 388 / Fecha: 1996 y 2005
Editorial:
Cambridge University Press. Lugar de publicación: Cambridge. UK


  Autores (p.o. de firma): María Manzano
Título:
Teoría de Modelos
Referencia revista/libro: ISBN: 84-206-8126-1
Clave: L / Volumen: AUT 126 / Páginas, inicial: 1 / final: 289 / Fecha: 1989
Editorial:
Alianza Editorial, S.A. Lugar de publicación: Madrid. España


Autores (p.o. de firma): María Manzano
Título: Teoría de Tipos
Referencia revista/libro: DL: 22-162-1980
Clave: L / Páginas, inicial: 1 / final: 95 / Fecha: 1980
Editorial: Ediciones Universidad de Barcelona. Lugar de publicación: Barcelona. España

Autores (p.o. de firma): María Manzano
Título:
Sistemas Intermedios
Referencia revista/libro: ISBN: 84-7075-092-5
Clave: L / Volumen: 62 / Páginas, inicial: 1 / final: 32 / Fecha: 1978
Editorial:
Fundación Juan March: Serie Universitaria. Lugar de publicación: Madrid. España

Autores (p.o. de firma): ARACNE (María Manzano (Capítulos: 1 al 3, 6 y 8 al 10), Antonia Huertas (Capítulos: 5 y 7) & Ian Hodkinson (Capítulos: 4 y 11)
Título: Lógica para principiantes
Referencia revista / libro: DL: M-27741-2000
Clave: L / Páginas, inicial: 1 / final: 184 / Fecha: 2000
Editorial: Publicaciones UNED. Lugar de publicación: Madrid. España


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 (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): 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


 

Tools for Teaching Logic

Editores : Patrick Blackburn, Hans van Ditmarsch, María Manzano y Fernando Soler-Toscano
Tools for Teaching Logic. Lecture Notes in Artificial Intelligence LNAI 6680. Springer-Verlag
Berlin Heidelberg 2011
ISSN 032-94743 e-ISSN 1611-3349
ISBN 978-3-642-21349-6 e-ISBN 978-3-642-21350-2
DOI 10.10077/978-3-642-21350-2

Softcover, ISBN 978-3-642-21349-6
Due: May 18, 2011


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/