Imágen de Portada

Código QR

Proof and knowledge in mathematics

Detalles Bibliográficos
Otros autores:	Detlefsen, Michael, 1948-
Formato:	Electrónico
Idioma:	English
Fecha de publicación:	London ; New York : Routledge, 1992.
Materias:	Mathematics > Philosophy. 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=154346

Ejemplares similares

New essays on Tarski and philosophy
Fecha de publicación: (2008)

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

Mathematical knowledge
Fecha de publicación: (2007)

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

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

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

Introducing philosophy of mathematics /
por: Friend, Michèle.
Fecha de publicación: (2007)

Platonism and anti-Platonism in mathematics
por: Balaguer, Mark.
Fecha de publicación: (1998)

A systemic perspective on cognition and mathematics /
por: Lin, Yi, 1959-
Fecha de publicación: (2013)

From Kant to Hilbert a source book in the foundations of mathematics.
Fecha de publicación: (1999)

From foundations to philosophy of mathematics : an historical account of their development in the XX century and beyond /
por: Roselló, Joan.
Fecha de publicación: (2012)

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

From Kant to Hilbert a source book in the foundations of mathematics.
Fecha de publicación: (2005)

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

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

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

Pensar en la matemática /
por: Lorenzo, Javier de, 1939-
Fecha de publicación: (2015)

Filosofía y matemáticas : ensayos en torno a Wittgenstein /
por: Tomasini Bassols, Alejandro.
Fecha de publicación: (2006)

Filosofía básica y lenguaje en matemática
por: Lopez, Marisela.
Fecha de publicación: (2009)

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

Epistemología de la matemática /
por: Campos Sánchez, Alberto, 1928-
Fecha de publicación: (2013)

Geometría y origami : una fiesta con papeles para la clase de matemática /
por: Ricotti, Stella,
Fecha de publicación: (2013)

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)

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

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

Rondas en Sais : ensayos sobre matemáticas y cultura contemporánea /
Fecha de publicación: (2012)

Del cero al infinito : un recorrido por el universo matemático /
por: Amster, Pablo,
Fecha de publicación: (2019)

Innovación en las clases de matemáticas : experiencias metodológicas /
por: Rojas Álvarez, Carlos Javier.
Fecha de publicación: (2013)

Los números por aquí y por allá : la numeración en la escuela primaria /
por: González, Adriana,
Fecha de publicación: (2013)

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

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

Investigaciones en educación matemática : Aportes desde una unidad de investigación /
Fecha de publicación: (2015)

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

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)

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

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

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