Imágen de Portada

Código QR

Gödel's proof /

Detalles Bibliográficos
Autor principal:	Nagel, Ernest, 1901-1985.
Otros autores:	Newman, James R.
Formato:	eBook
Idioma:	English
Fecha de publicación:	Abingdon, Oxon : Routledge, 2005.
Series:	Routledge classics
Materias:	Gödel's theorem. Electronic books.
Acceso en línea:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=135530

Ejemplares similares

El Teorema de Gödel /
por: Nagel, Ernest
Fecha de publicación: (2006)

Gödel : paradoja y vida /
por: Goldstein, Rebecca 1950-
Fecha de publicación: (2006)

Proof, logic, and formalization
Fecha de publicación: (1992)

El universo de Gödel : la problemática de la consistencia y la lógica proposicional /
por: Smullyan, Raymond,
Fecha de publicación: (2024)

Introduction to statistical limit theory /
por: Polansky, Alan M.,
Fecha de publicación: (2011)

Gödel, Escher, Bach : un eterno y grácil bucle /
por: Hofstadter, Douglas R., 1945-
Fecha de publicación: (1998)

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

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

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

Proportionate-type normalized least mean square algorithms
por: Wagner, Kevin.
Fecha de publicación: (2013)

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

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

Algoritmo óptimo para planificación de búsqueda en disco
por: Castillo, Enrique F.
Fecha de publicación: (2005)

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

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

El teorema de Löb : creencias autosuficientes y sistemas matemáticos /
por: Smullyan, Raymond,
Fecha de publicación: (2024)

Efecto del tamaño del archivo, la entropía y el tamaño del alfabeto en el rendimiento del algoritmo de Huffman /
Fecha de publicación: (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 /
por: Campos, Alberto,
Fecha de publicación: (2008)

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

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

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

Corrección de algoritmos complejos : verificación formal /
por: Silva Ramírez, Esther Lydia.
Fecha de publicación: (2017)

Algoritmos y estructuras de datos /
por: Fritelli, Valerio,
Fecha de publicación: (2020)

Introducció a la lg̣ica /
por: Barrière Figueroa, Eulalia.
Fecha de publicación: (2006)

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

Introducción a la lógica matemática /
por: Tinoco del Valle, Jesús Antonio,
Fecha de publicación: (2023)

Algoritmia y bases de datos /
por: López Querol, Jorge,
Fecha de publicación: (2023)

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)

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

Algoritmos y programación : mejores prácticas /
por: Ayala San Martín, Gerardo.
Fecha de publicación: (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 /
por: Peña Guano, Sergio Israel,
Fecha de publicación: (2023)

El problema de difusión unidimensional como aplicación del teorema de Duhamel
por: Tempo, Ruth.
Fecha de publicación: (2010)

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

El último teorema de Fermat : el secreto de un antiguo problema matemático /
por: Aczel, Amir D.
Fecha de publicación: (2017)

Gödel
por: Goldstein, Rebecca.
Fecha de publicación: (2005)

Sócrates en Viena : una biografía intelectual de Kurt Gödel /
por: Alonso, Enrique,
Fecha de publicación: (2007)

Proofs and types /
por: Girard, Jean-Yves
Fecha de publicación: (1990)

The proofs of prophecy /
por: Abu Hatim al-Razi, Ahmad ibn Hamdan m. ca. 934
Fecha de publicación: (2011)

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

The proof from prophecy : a study in Justin Martyr's proof-text tradition: text-type, provenance, theological profile /
por: Skarsaune, Oskar 1946-
Fecha de publicación: (1987)