Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente Summa logicae en el siglo XXI [Archivo de ordenador]

Tipo Año Título Fuente
Capítulo2004Aplicación de tablas semánticas al estudio de algunas lógicas no clásicasSumma logicae en el siglo XXI [Archivo de ordenador]
Capítulo2004Árboles semánticos para lógica modal con algunos resultados sobre sistemas normales: tesis doctoralSumma logicae en el siglo XXI [Archivo de ordenador]
Capítulo2004Breve reseña histórica acerca de la lógica modal, desde Aristóteles hasta la semántica de mundos posibles.Summa logicae en el siglo XXI [Archivo de ordenador]
Capítulo2004Enseñar lógica: lenguaje lógico y árboles semánticosSumma logicae en el siglo XXI [Archivo de ordenador]
Capítulo2004Interpretaciones estándar y no estándar de sistemas logicistasSumma logicae en el siglo XXI [Archivo de ordenador]
Capítulo2004Lógica, creación y justificación en matematicasSumma logicae en el siglo XXI [Archivo de ordenador]
Capítulo2004Montague grammar, categories and types: a presentation of actual theories in semantics and discourse interpretationSumma logicae en el siglo XXI [Archivo de ordenador]
Capítulo2004Tablas semánticas para lógica de predicados de primer ordenSumma logicae en el siglo XXI [Archivo de ordenador]
Capítulo2004Una reconstrucción formal del sistema de "Begriffschrift"Summa logicae en el siglo XXI [Archivo de ordenador]