Una visión de las lógicas anexivas - A View of Connexive Logics
Este libro es la primera monografía sobre el tema de las lógicas anexivas, una familia de...
Lógica multivaluada: introducción matemática y computacional. Segunda edición - Many-Valued Logics:...
Las lógicas multivaluadas son aquellas que tienen...
Fundamentos de L Gica E Teoria Da Computa O
El libro ofrece una introducción autocontenida a la lógica matemática y la teoría de la computabilidad para estudiantes...
Aplicaciones filosóficas de la lógica modal - Philosophical Applications of Modal Logic
El objetivo de este texto es transmitir parte del...
Los intereses de Kreisel: Sobre los fundamentos de la lógica y las matemáticas - Kreisel's...
Las contribuciones a este volumen proceden de los...
Implementación de lenguajes de programación. Introducción a compiladores e intérpretes -...
Implementar un lenguaje de programación significa...
El camino de Haskell hacia la lógica, las matemáticas y la programación. Segunda edición - The...
Hace mucho tiempo, cuando Alejandro Magno pidió al...
Pensamiento sistémico para resolver problemas reales - Using Systems Thinking to Solve Real-World...
El pensamiento sistémico es muy útil para resolver...
Argumentos naturales: Homenaje a John Woods - Natural Arguments: A Tribute to John Woods
La presente colección de ensayos rinde homenaje a John Woods...
