Imágen de Portada

Código QR

Proof, logic, and formalization

Detalles Bibliográficos
Otros autores:	Detlefsen, Michael, 1948-
Formato:	Electrónico
Idioma:	English
Fecha de publicación:	London ; New York : Routledge, 1992.
Materias:	Proof theory. Logic, Symbolic and mathematical. Electronic books.
Acceso en línea:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=155840

Ejemplares similares

Handbook of mathematical induction : theory and applications /
por: Gunderson, David S.,
Fecha de publicación: (2010)

Mathematical logic
por: Chiswell, Ian, 1948-
Fecha de publicación: (2007)

In the light of logic
por: Feferman, Solomon.
Fecha de publicación: (1998)

The future of post-human mathematical logic /
por: Baofu, Peter.
Fecha de publicación: (2008)

Introducció a la lg̣ica /
por: Barrière Figueroa, Eulalia.
Fecha de publicación: (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 /
por: Campos, Alberto,
Fecha de publicación: (2008)

Lógica de enunciados algunos aspectos básicos /
por: Herrera Madrigal, José.
Fecha de publicación: (1995)

Proof and knowledge in mathematics
Fecha de publicación: (1992)

EL razonamiento lógico en el lenguaje simbólico y en el lenguaje natural /
por: Kemel, George,
Fecha de publicación: (2020)

Elementos básicos de matemáticas con herramientas interactivas /
por: Grisales Aguire, Andrés Mauricio,
Fecha de publicación: (2018)

Roads to infinity : the mathematics of truth and proof /
por: Stillwell, John,
Fecha de publicación: (2010)

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

Las ciencias formales
Fecha de publicación: (2004)

Gödel's proof /
por: Nagel, Ernest, 1901-1985.
Fecha de publicación: (2005)

Sistemas con lógica difusa
Fecha de publicación: (2009)

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

Representation and productive ambiguity in mathematics and the sciences
por: Grosholz, Emily R.
Fecha de publicación: (2007)

Fundamentos de matemáticas /
por: Zalamea Traba, Fernando, 1959-
Fecha de publicación: (2000)

Introducción al análisis de datos difusos
por: Morillas Raya, Antonio.
Fecha de publicación: (2002)

El pensamiento lógico-matemático /
por: Sagüillo Fernández-Vega, José Miguel.
Fecha de publicación: (2008)

Con argumento lógico : notas de matemáticas aplicadas /
por: Obeso Fernández, Virgilio.
Fecha de publicación: (2013)

Lógica difusa, un punto de vista
por: Strefezza, Miguel.
Fecha de publicación: (2009)

Ciencias formales y ciencias fácticas
Fecha de publicación: (2004)

Lógica matemática y teoría de conjuntos /
por: Vargas Villegas, Elizabeth.
Fecha de publicación: (2019)

Números combinatorios y probabilidades
por: Miró, Ricardo.
Fecha de publicación: (2007)

Modal logics and philosophy /
por: Girle, Rod.
Fecha de publicación: (2009)

Verificación formal de algoritmos : ejercicios resueltos /
por: Silva Ramírez, Esther Lydia.
Fecha de publicación: (2018)

New essays on Tarski and philosophy
Fecha de publicación: (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 /
por: Villuendas Rey, Yenny.
Fecha de publicación: (2014)

Managerial logic
por: Raynaud, Hervé.
Fecha de publicación: (2011)

Razonamiento lógico matemático para la toma de decisiones /
por: Peralta Márquez, Norma Elvira,
Fecha de publicación: (2015)

Elementary logic /
por: Garrett, Brian.
Fecha de publicación: (2012)

Filosofía sintética de las matemáticas contemporáneas /
por: Zalamea Traba, Fernando, 1959-
Fecha de publicación: (2009)

Fundamentos de matemáticas y lógica
por: Gutiérrez González, Eduardo.
Fecha de publicación: (1998)

Matemáticas para informática /
por: Gutiérrez García, Ismael.
Fecha de publicación: (2013)

Recent progress in the Boolean domain /
Fecha de publicación: (2014)

Conectivas lógicas
Fecha de publicación: (2004)

Logical pluralism
por: Beall, J. C.
Fecha de publicación: (2006)

Modal logic an introduction to its syntax and semantics /
por: Cocchiarella, Nino B.
Fecha de publicación: (2008)

Science of logic /
por: Hegel, G. W. F.,
Fecha de publicación: (2002)