Proof, logic, and formalization /

Afficher d'autres versions (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.

Détails bibliographiques
Cote:Libro Electrónico
Autres auteurs: Detlefsen, Michael, 1948-
Format: Électronique eBook
Langue:Inglés
Publié: London ; New York : Routledge, 1992.
Sujets:
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
Accès en ligne:Texto completo

Internet

Texto completo

Items no disponibles

Informations d'exemplaires de

Documents similaires