Las ciencias formales

Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Publié: (2012)

The review of symbolic logic
Publié: (2008)

Proceedings of the 13th Asian Logic Conference Guangzhou, China, 16-20 September 2013 /
Publié: (2015)

Filosofía sintética de las matemáticas contemporáneas /
par: Zalamea Traba, Fernando, 1959-
Publié: (2009)

Reports on mathematical logic
Publié: (1973)

Con argumento lógico : notas de matemáticas aplicadas /
par: Obeso Fernández, Virgilio
Publié: (2013)

Lógica difusa, un punto de vista
par: Strefezza, Miguel
Publié: (2009)

El pensamiento lógico-matemático /
par: Sagüillo Fernández-Vega, José Miguel
Publié: (2008)

Introducció a la lg̣ica /
par: Barrière Figueroa, Eulalia
Publié: (2006)

Journal of the IGPL
Publié: (1995)

Journal of mathematical logic
Publié: (2001)

Números combinatorios y probabilidades
par: Miró, Ricardo
Publié: (2007)

Journal of formalized reasoning

Logic journal of the IGPL
Publié: (1997)

Introducción a la historia a la filosofía de la matemática. Volumen 2, hacia la formalización en Hilbert y en Bourbaki /
par: Campos, Alberto
Publié: (2008)

Razonamiento lógico matemático para la toma de decisiones /
par: Peralta Márquez, Norma Elvira
Publié: (2015)

Proceedings of the 12th Asian Logic Conference Wellington, New Zealand, 15-20 December 2011 /
Publié: (2013)

Formalized mathematics a computer assisted approach.

Bulletin of the Section of Logic
Publié: (1972)

Archive for mathematical logic
Publié: (1988)

Language, nature and science : new perspectives /
Publié: (2009)

EL razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
par: Kemel, George
Publié: (2020)

Leyes lógicas
Publié: (2004)

Lógica matemática y teoría de conjuntos /
par: Vargas Villegas, Elizabeth
Publié: (2019)

Mathematical logic quarterly MLQ.
Publié: (1993)

Elementos básicos de matemáticas con herramientas interactivas /
par: Grisales Aguire, Andrés Mauricio
Publié: (2018)

Fundamentos de matemáticas y lógica
par: Gutiérrez González, Eduardo, et autres
Publié: (1998)

Lógica de enunciados algunos aspectos básicos /
par: Herrera Madrigal, José
Publié: (1995)

Esquema para el pre-procesamiento de conjuntos de entrenamiento de clasificadores del vecino más cercano basado en extensiones a la teoría de los conjuntos aproximados /
par: Villuendas Rey, Yenny
Publié: (2014)

Ensayos sobre lógica, lenguaje, mente y ciencia
Publié: (2012)

Reseña crítica de "Lógica simbólica y elementos de metodología de la ciencia", de Gianella, Alicia
Publié: (2011)

Matemática fundamental para matemáticos /
par: Robledo Potes, Jaime
Publié: (2014)

Matemáticas para informática /
par: Gutiérrez García, Ismael
Publié: (2013)

Prueba formal de validez
Publié: (2004)

La paradoja de Orayen
Publié: (2003)

Lógica formal y argumentación como disciplinas complementarias /
par: Palau, Gladys
Publié: (2014)