Proof, logic, and formalization /

Mostrar otras versiones (2)

A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Detlefsen, Michael, 1948-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London ; New York : Routledge, 1992.
Temas:
Proof theory.
Logic, Symbolic and mathematical.
Mathematics > Philosophy.
Théorie de la preuve.
Logique symbolique et mathématique.
Mathématiques > Philosophie.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Preuve, théorie de la.
Mathematics
Mathematical logic
Acceso en línea:Texto completo
Descripción
Sumario:A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.
Descripción Física:1 online resource (x, 241 pages) : illustrations
Bibliografía:Includes bibliographical references and index.
ISBN:0203980255
9780203980255
9780415023351
0415023351
1134975287
9781134975280
1280109866
9781280109867
9786610109869
6610109869

Ejemplares similares