Imágen de Portada

Código QR

Sócrates en Viena : una biografía intelectual de Kurt Gödel /

Detalles Bibliográficos
Autor principal:	Alonso, Enrique,
Formato:	eBook
Idioma:	Spanish
Fecha de publicación:	[Mataró, España] : Ediciones de Intervención Cultural/Montesinos, [2007]
Series:	Ensayo.
Materias:	Gödel, Kurt. Logic, Symbolic and mathematical > History > 20th century. Lógica, simbólica y matemática > Historia > Siglo XX. Aritmética > Fundamentos. Arithmetic > Foundations. Libros electrónicos.
Acceso en línea:	https://recursos.uloyola.es/login?url=https://accedys.uloyola.es:8443/accedix0/sitios/ebook.php?id=212440

Ejemplares similares

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

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)

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

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

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

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

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

La paradoja de Orayen
Fecha de publicación: (2003)

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

Reseña crítica de "Lógica simbólica y elementos de metodología de la ciencia", de Gianella, Alicia
Fecha de publicación: (2011)

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

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

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

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

Introducción a la filosofía de la lógica /
por: Díez Martínez, Amparo.
Fecha de publicación: (2013)

Aritmética superior /
por: Gutiérrez, Yoel E.
Fecha de publicación: (2019)

Matemática fundamental para matemáticos /
por: Robledo Potes, Jaime,
Fecha de publicación: (2014)

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

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

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

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

El Pensamiento matemático contemporáneo
por: Erro, Luis Enrique.
Fecha de publicación: (1986)

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

Aritmética y geometría /
por: Martínez, Eleuterio.
Fecha de publicación: (2019)

Aritmética y álgebra
por: Figueroa, Miguel.
Fecha de publicación: (2010)

Problemas de cabecera pensados durante las horas de vigilia /
por: Carroll, Lewis, 1832-1898,
Fecha de publicación: (2018)

Ensayo de lógica modal : teoría general de las obligaciones /
por: Wright, Georg Henrik Von,
Fecha de publicación: (2019)

Epistemología de la educación matemática
por: Soto Sedek, Natalia.
Fecha de publicación: (2009)

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

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

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

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

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

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

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)

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

Conectivas lógicas y tablas de verdad ejercicios /
Fecha de publicación: (2004)

La construcción de los logaritmos : historia y proyecto didáctico /
por: Domínguez, Consuelo.
Fecha de publicación: (2012)

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