Cover Image

QR Code

Proof, logic, and formalization

Bibliographic Details
Other Authors:	Detlefsen, Michael, 1948-
Format:	Electronic
Language:	English
Published:	London ; New York : Routledge, 1992.
Subjects:	Proof theory. Logic, Symbolic and mathematical. Electronic books.
Online Access:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=155840

Similar Items

Handbook of mathematical induction : theory and applications /
by: Gunderson, David S.,
Published: (2010)

Mathematical logic
by: Chiswell, Ian, 1948-
Published: (2007)

In the light of logic
by: Feferman, Solomon.
Published: (1998)

The future of post-human mathematical logic /
by: Baofu, Peter.
Published: (2008)

Introducció a la lg̣ica /
by: Barrière Figueroa, Eulalia.
Published: (2006)

Introducción a la historia a la filosofía de la matemática. Volumen 2, hacia la formalización en Hilbert y en Bourbaki /
by: Campos, Alberto,
Published: (2008)

Lógica de enunciados algunos aspectos básicos /
by: Herrera Madrigal, José.
Published: (1995)

Proof and knowledge in mathematics
Published: (1992)

EL razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
by: Kemel, George,
Published: (2020)

Elementos básicos de matemáticas con herramientas interactivas /
by: Grisales Aguire, Andrés Mauricio,
Published: (2018)

Roads to infinity : the mathematics of truth and proof /
by: Stillwell, John,
Published: (2010)

Los gráficos existenciales peirceanos : sistemas de lógicas diagramáticas del continuo : horosis, tránsitos, reflejos, fondos /
by: Zalamea Traba, Fernando, 1959-
Published: (2010)

Las ciencias formales
Published: (2004)

Gödel's proof /
by: Nagel, Ernest, 1901-1985.
Published: (2005)

Sistemas con lógica difusa
Published: (2009)

Asignación de valores en las proposiciones atómicas y moleculares
Published: (2004)

Representation and productive ambiguity in mathematics and the sciences
by: Grosholz, Emily R.
Published: (2007)

Fundamentos de matemáticas /
by: Zalamea Traba, Fernando, 1959-
Published: (2000)

Introducción al análisis de datos difusos
by: Morillas Raya, Antonio.
Published: (2002)

El pensamiento lógico-matemático /
by: Sagüillo Fernández-Vega, José Miguel.
Published: (2008)

Con argumento lógico : notas de matemáticas aplicadas /
by: Obeso Fernández, Virgilio.
Published: (2013)

Lógica difusa, un punto de vista
by: Strefezza, Miguel.
Published: (2009)

Ciencias formales y ciencias fácticas
Published: (2004)

Lógica matemática y teoría de conjuntos /
by: Vargas Villegas, Elizabeth.
Published: (2019)

Números combinatorios y probabilidades
by: Miró, Ricardo.
Published: (2007)

Modal logics and philosophy /
by: Girle, Rod.
Published: (2009)

Verificación formal de algoritmos : ejercicios resueltos /
by: Silva Ramírez, Esther Lydia.
Published: (2018)

New essays on Tarski and philosophy
Published: (2008)

Esquema para el pre-procesamiento de conjuntos de entrenamiento de clasificadores del vecino más cercano basado en extensiones a la teoría de los conjuntos aproximados /
by: Villuendas Rey, Yenny.
Published: (2014)

Managerial logic
by: Raynaud, Hervé.
Published: (2011)

Razonamiento lógico matemático para la toma de decisiones /
by: Peralta Márquez, Norma Elvira,
Published: (2015)

Elementary logic /
by: Garrett, Brian.
Published: (2012)

Filosofía sintética de las matemáticas contemporáneas /
by: Zalamea Traba, Fernando, 1959-
Published: (2009)

Fundamentos de matemáticas y lógica
by: Gutiérrez González, Eduardo.
Published: (1998)

Matemáticas para informática /
by: Gutiérrez García, Ismael.
Published: (2013)

Recent progress in the Boolean domain /
Published: (2014)

Conectivas lógicas
Published: (2004)

Logical pluralism
by: Beall, J. C.
Published: (2006)

Modal logic an introduction to its syntax and semantics /
by: Cocchiarella, Nino B.
Published: (2008)

Science of logic /
by: Hegel, G. W. F.,
Published: (2002)