Cover Image

QR Code

Gödel's proof /

Bibliographic Details
Main Author:	Nagel, Ernest, 1901-1985.
Other Authors:	Newman, James R.
Format:	eBook
Language:	English
Published:	Abingdon, Oxon : Routledge, 2005.
Series:	Routledge classics
Subjects:	Gödel's theorem. Electronic books.
Online Access:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=135530

Similar Items

El Teorema de Gödel /
by: Nagel, Ernest
Published: (2006)

Gödel : paradoja y vida /
by: Goldstein, Rebecca 1950-
Published: (2006)

Proof, logic, and formalization
Published: (1992)

El universo de Gödel : la problemática de la consistencia y la lógica proposicional /
by: Smullyan, Raymond,
Published: (2024)

Introduction to statistical limit theory /
by: Polansky, Alan M.,
Published: (2011)

Gödel, Escher, Bach : un eterno y grácil bucle /
by: Hofstadter, Douglas R., 1945-
Published: (1998)

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

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

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

Proportionate-type normalized least mean square algorithms
by: Wagner, Kevin.
Published: (2013)

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

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

Algoritmo óptimo para planificación de búsqueda en disco
by: Castillo, Enrique F.
Published: (2005)

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

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

El teorema de Löb : creencias autosuficientes y sistemas matemáticos /
by: Smullyan, Raymond,
Published: (2024)

Efecto del tamaño del archivo, la entropía y el tamaño del alfabeto en el rendimiento del algoritmo de Huffman /
Published: (2008)

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)

Sistemas con lógica difusa
Published: (2009)

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

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

Corrección de algoritmos complejos : verificación formal /
by: Silva Ramírez, Esther Lydia.
Published: (2017)

Algoritmos y estructuras de datos /
by: Fritelli, Valerio,
Published: (2020)

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

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

Introducción a la lógica matemática /
by: Tinoco del Valle, Jesús Antonio,
Published: (2023)

Algoritmia y bases de datos /
by: López Querol, Jorge,
Published: (2023)

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)

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

Algoritmos y programación : mejores prácticas /
by: Ayala San Martín, Gerardo.
Published: (2020)

Análisis de las predicciones en un filtro colaborativo basado en el algoritmo ALS para una empresa de comida rápida en la ciudad de Guayaquil /
by: Peña Guano, Sergio Israel,
Published: (2023)

El problema de difusión unidimensional como aplicación del teorema de Duhamel
by: Tempo, Ruth.
Published: (2010)

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

El último teorema de Fermat : el secreto de un antiguo problema matemático /
by: Aczel, Amir D.
Published: (2017)

Gödel
by: Goldstein, Rebecca.
Published: (2005)

Sócrates en Viena : una biografía intelectual de Kurt Gödel /
by: Alonso, Enrique,
Published: (2007)

Proofs and types /
by: Girard, Jean-Yves
Published: (1990)

The proofs of prophecy /
by: Abu Hatim al-Razi, Ahmad ibn Hamdan m. ca. 934
Published: (2011)

Proof and knowledge in mathematics
Published: (1992)

The proof from prophecy : a study in Justin Martyr's proof-text tradition: text-type, provenance, theological profile /
by: Skarsaune, Oskar 1946-
Published: (1987)