Proof, logic, and formalization /
A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.
Clasificación: | Libro Electrónico |
---|---|
Otros Autores: | Detlefsen, Michael, 1948- |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
London ; New York :
Routledge,
1992.
|
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Conditional and preferential logics : proof methods and theorem proving /
por: Pozzato, Gian Luca
Publicado: (2010) -
Proof and Other Dilemmas : Mathematics and Philosophy /
Publicado: (2011) -
Proof and knowledge in mathematics /
Publicado: (1992) -
Proof Logic and Formalization.
por: Detlefsen, Michael, 1948-
Publicado: (1992) -
Conditional and preferential logics : proof methods and theorem proving /
por: Pozzato, Gian Luca
Publicado: (2010)