Charming proofs a journey into elegant mathematics /
"Theorems and their proofs lie at the heart of mathematics. In speaking of the purely aesthetic qualities of theorems and proofs, G. H. Hardy wrote that in beautiful proofs 'there is a very high degree of unexpectedness, combined with inevitability and economy'. Charming Proofs presen...
Gardado en:
Autor Principal: | Alsina, Claudi |
---|---|
Corporate Authors: | Mathematical Association of America, ebrary, Inc |
Outros autores: | Nelsen, Roger B. |
Formato: | Electrónico eBook |
Idioma: | inglés |
Publicado: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
Series: | Dolciani mathematical expositions ;
no. 42 |
Subjects: | |
Acceso en liña: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
- Existencias
- Descripción
- Table of Contents
- Comentarios
- Other Versions (1)
- Títulos similares
- Staff View
Títulos similares
Charming proofs a journey into elegant mathematics /
por: Alsina, Claudi
Publicado: (2010)
por: Alsina, Claudi
Publicado: (2010)
Ways of proof theory
por: Schindler, Ralf
Publicado: (2010)
por: Schindler, Ralf
Publicado: (2010)
Ways of proof theory
por: Schindler, Ralf
Publicado: (2010)
por: Schindler, Ralf
Publicado: (2010)
The nuts and bolts of proofs
por: Cupillari, Antonella
Publicado: (2005)
por: Cupillari, Antonella
Publicado: (2005)
The nuts and bolts of proofs
por: Cupillari, Antonella
Publicado: (2005)
por: Cupillari, Antonella
Publicado: (2005)
Proof, logic, and formalization
Publicado: (1992)
Publicado: (1992)
Proof, logic, and formalization
Publicado: (1992)
Publicado: (1992)
Memoirs of a proof theorist Gödel and other logicians /
por: Takeuti, Gaisi, 1926-
Publicado: (2003)
por: Takeuti, Gaisi, 1926-
Publicado: (2003)
Memoirs of a proof theorist Gödel and other logicians /
por: Takeuti, Gaisi, 1926-
Publicado: (2003)
por: Takeuti, Gaisi, 1926-
Publicado: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Publicado: (2016)
Publicado: (2016)
Concepts of proof in mathematics, philosophy, and computer science /
Publicado: (2016)
Publicado: (2016)
Tracking reason proof, consequence, and truth /
por: Azzouni, Jody
Publicado: (2006)
por: Azzouni, Jody
Publicado: (2006)
Tracking reason proof, consequence, and truth /
por: Azzouni, Jody
Publicado: (2006)
por: Azzouni, Jody
Publicado: (2006)
Lectures on the Curry-Howard isomorphism
por: Sørensen, Morten Heine
Publicado: (2006)
por: Sørensen, Morten Heine
Publicado: (2006)
Lectures on the Curry-Howard isomorphism
por: Sørensen, Morten Heine
Publicado: (2006)
por: Sørensen, Morten Heine
Publicado: (2006)
Logic for concurrency and synchronisation
Publicado: (2003)
Publicado: (2003)
Logic for concurrency and synchronisation
Publicado: (2003)
Publicado: (2003)
Icons of mathematics an exploration of twenty key images /
por: Alsina, Claudi
Publicado: (2011)
por: Alsina, Claudi
Publicado: (2011)
Icons of mathematics an exploration of twenty key images /
por: Alsina, Claudi
Publicado: (2011)
por: Alsina, Claudi
Publicado: (2011)
Conditional and preferential logics proof methods and theorem proving /
por: Pozzato, Gian Luca
Publicado: (2010)
por: Pozzato, Gian Luca
Publicado: (2010)
Conditional and preferential logics proof methods and theorem proving /
por: Pozzato, Gian Luca
Publicado: (2010)
por: Pozzato, Gian Luca
Publicado: (2010)
Mathematical logic
por: Tourlakis, George J.
Publicado: (2003)
por: Tourlakis, George J.
Publicado: (2003)
Mathematical logic
por: Tourlakis, George J.
Publicado: (2003)
por: Tourlakis, George J.
Publicado: (2003)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
por: Woodin, W. H. (W. Hugh)
Publicado: (2010)
por: Woodin, W. H. (W. Hugh)
Publicado: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
por: Woodin, W. H. (W. Hugh)
Publicado: (2010)
por: Woodin, W. H. (W. Hugh)
Publicado: (2010)
Distribution models theory
Publicado: (2006)
Publicado: (2006)
Distribution models theory
Publicado: (2006)
Publicado: (2006)
Perspectives in logic logical foundations of proof complexity /
por: Cook, Stephen, 1948-
Publicado: (2010)
por: Cook, Stephen, 1948-
Publicado: (2010)
Perspectives in logic logical foundations of proof complexity /
por: Cook, Stephen, 1948-
Publicado: (2010)
por: Cook, Stephen, 1948-
Publicado: (2010)
Representation and productive ambiguity in mathematics and the sciences
por: Grosholz, Emily R.
Publicado: (2007)
por: Grosholz, Emily R.
Publicado: (2007)
Representation and productive ambiguity in mathematics and the sciences
por: Grosholz, Emily R.
Publicado: (2007)
por: Grosholz, Emily R.
Publicado: (2007)
Recursion theory : computational aspects of definability /
por: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicado: (2015)
por: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicado: (2015)
Títulos similares
-
Charming proofs a journey into elegant mathematics /
por: Alsina, Claudi
Publicado: (2010) -
Ways of proof theory
por: Schindler, Ralf
Publicado: (2010) -
Ways of proof theory
por: Schindler, Ralf
Publicado: (2010) -
The nuts and bolts of proofs
por: Cupillari, Antonella
Publicado: (2005) -
The nuts and bolts of proofs
por: Cupillari, Antonella
Publicado: (2005)