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 |
---|---|
Autor principal: | Detlefsen, Michael, 1948- |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Hoboken :
Routledge,
1992.
|
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Proof, logic, and formalization /
Publicado: (1992) -
Conditional and preferential logics : proof methods and theorem proving /
por: Pozzato, Gian Luca
Publicado: (2010) -
Concepts of proof in mathematics, philosophy, and computer science /
Publicado: (2016) -
Concepts of proof in mathematics, philosophy, and computer science /
Publicado: (2016) -
Mathematical thinking and writing : a transition to abstract mathematics /
por: Maddox, Randall B.
Publicado: (2002)