Proof, logic, and formalization /

Show other 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.

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Detlefsen, Michael, 1948-
Format: Electronic eBook
Language:Inglés
Published: London ; New York : Routledge, 1992.
Subjects:
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
Online Access:Texto completo
Search Result 1
Proof, logic, and formalization
Published 1992
Texto completo
Electronic eBook
Search Result 2
Proof Logic and Formalization.
by Detlefsen, Michael, 1948-
Published 1992
Texto completo
Electronic eBook
Show all versions (3)

Similar Items