Tipo: Libro impreso / Print book
Tamaño / Size: 16.5 x 24 cm
Páginas / Pages: 112
Resumen / Summary:
Autor / Author: Fernando Zalamea
Editorial / Publisher: Universidad Nacional de Colombia
Entrega / Delivery : Nacional / International
Envio desde / Ships from: Colombia
Condición / Condition: Nuevo / New
Tabla de contenido / Table of contents: Introducción
Capítulo 1
El lugar de los gráficos existenciales en una lógica del continuo. Horosis, tránsitos, reflejos, fondos
Capítulo 2
Esqueletos y categorías
ALFA: cálculo proposicional clásico y variaciones intuicionistas
Capítulo 3
Identidades y logos
BETA: lógica relacional y variaciones funcionales
Capítulo 4
Modulaciones y árboles
GAMA (I): cálculos proposicionales modales
Capítulo 5
Tipos y topos
GAMA (II): lógicas extendidas
Bibliografía e índice bibliográfico
Índice onomástico
No existen productos recomendados en este momento.
No existen productos recomendados en este momento.