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...
Na minha lista:
Autor principal: | Alsina, Claudi |
---|---|
Corporate Authors: | Mathematical Association of America, ebrary, Inc |
Outros Autores: | Nelsen, Roger B. |
Formato: | Recurso Electrónico livro electrónico |
Idioma: | inglês |
Publicado em: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
Colecção: | Dolciani mathematical expositions ;
no. 42 |
Assuntos: | |
Acesso em linha: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registos relacionados
Charming proofs a journey into elegant mathematics /
Por: Alsina, Claudi
Publicado em: (2010)
Por: Alsina, Claudi
Publicado em: (2010)
Ways of proof theory
Por: Schindler, Ralf
Publicado em: (2010)
Por: Schindler, Ralf
Publicado em: (2010)
Ways of proof theory
Por: Schindler, Ralf
Publicado em: (2010)
Por: Schindler, Ralf
Publicado em: (2010)
The nuts and bolts of proofs
Por: Cupillari, Antonella
Publicado em: (2005)
Por: Cupillari, Antonella
Publicado em: (2005)
The nuts and bolts of proofs
Por: Cupillari, Antonella
Publicado em: (2005)
Por: Cupillari, Antonella
Publicado em: (2005)
Proof, logic, and formalization
Publicado em: (1992)
Publicado em: (1992)
Proof, logic, and formalization
Publicado em: (1992)
Publicado em: (1992)
Memoirs of a proof theorist Gödel and other logicians /
Por: Takeuti, Gaisi, 1926-
Publicado em: (2003)
Por: Takeuti, Gaisi, 1926-
Publicado em: (2003)
Memoirs of a proof theorist Gödel and other logicians /
Por: Takeuti, Gaisi, 1926-
Publicado em: (2003)
Por: Takeuti, Gaisi, 1926-
Publicado em: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Publicado em: (2016)
Publicado em: (2016)
Concepts of proof in mathematics, philosophy, and computer science /
Publicado em: (2016)
Publicado em: (2016)
Tracking reason proof, consequence, and truth /
Por: Azzouni, Jody
Publicado em: (2006)
Por: Azzouni, Jody
Publicado em: (2006)
Tracking reason proof, consequence, and truth /
Por: Azzouni, Jody
Publicado em: (2006)
Por: Azzouni, Jody
Publicado em: (2006)
Lectures on the Curry-Howard isomorphism
Por: Sørensen, Morten Heine
Publicado em: (2006)
Por: Sørensen, Morten Heine
Publicado em: (2006)
Lectures on the Curry-Howard isomorphism
Por: Sørensen, Morten Heine
Publicado em: (2006)
Por: Sørensen, Morten Heine
Publicado em: (2006)
Logic for concurrency and synchronisation
Publicado em: (2003)
Publicado em: (2003)
Logic for concurrency and synchronisation
Publicado em: (2003)
Publicado em: (2003)
Icons of mathematics an exploration of twenty key images /
Por: Alsina, Claudi
Publicado em: (2011)
Por: Alsina, Claudi
Publicado em: (2011)
Icons of mathematics an exploration of twenty key images /
Por: Alsina, Claudi
Publicado em: (2011)
Por: Alsina, Claudi
Publicado em: (2011)
Conditional and preferential logics proof methods and theorem proving /
Por: Pozzato, Gian Luca
Publicado em: (2010)
Por: Pozzato, Gian Luca
Publicado em: (2010)
Conditional and preferential logics proof methods and theorem proving /
Por: Pozzato, Gian Luca
Publicado em: (2010)
Por: Pozzato, Gian Luca
Publicado em: (2010)
Mathematical logic
Por: Tourlakis, George J.
Publicado em: (2003)
Por: Tourlakis, George J.
Publicado em: (2003)
Mathematical logic
Por: Tourlakis, George J.
Publicado em: (2003)
Por: Tourlakis, George J.
Publicado em: (2003)
Perspectives in logic logical foundations of proof complexity /
Por: Cook, Stephen, 1948-
Publicado em: (2010)
Por: Cook, Stephen, 1948-
Publicado em: (2010)
Perspectives in logic logical foundations of proof complexity /
Por: Cook, Stephen, 1948-
Publicado em: (2010)
Por: Cook, Stephen, 1948-
Publicado em: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
Por: Woodin, W. H. (W. Hugh)
Publicado em: (2010)
Por: Woodin, W. H. (W. Hugh)
Publicado em: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
Por: Woodin, W. H. (W. Hugh)
Publicado em: (2010)
Por: Woodin, W. H. (W. Hugh)
Publicado em: (2010)
Distribution models theory
Publicado em: (2006)
Publicado em: (2006)
Distribution models theory
Publicado em: (2006)
Publicado em: (2006)
Representation and productive ambiguity in mathematics and the sciences
Por: Grosholz, Emily R.
Publicado em: (2007)
Por: Grosholz, Emily R.
Publicado em: (2007)
Representation and productive ambiguity in mathematics and the sciences
Por: Grosholz, Emily R.
Publicado em: (2007)
Por: Grosholz, Emily R.
Publicado em: (2007)
Recursion theory : computational aspects of definability /
Por: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicado em: (2015)
Por: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicado em: (2015)
Recursion theory : computational aspects of definability /
Por: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicado em: (2015)
Por: Chong, C.-T. (Chi-Tat), 1949-, et al.
Publicado em: (2015)
Computational prospects of infinity
Publicado em: (2008)
Publicado em: (2008)
Computational prospects of infinity
Publicado em: (2008)
Publicado em: (2008)
Forcing for mathematicians /
Por: Weaver, Nik
Publicado em: (2014)
Por: Weaver, Nik
Publicado em: (2014)
Forcing for mathematicians /
Por: Weaver, Nik
Publicado em: (2014)
Por: Weaver, Nik
Publicado em: (2014)
Fine structure and class forcing
Por: Friedman, Sy D., 1953-
Publicado em: (2000)
Por: Friedman, Sy D., 1953-
Publicado em: (2000)
Fine structure and class forcing
Por: Friedman, Sy D., 1953-
Publicado em: (2000)
Por: Friedman, Sy D., 1953-
Publicado em: (2000)
The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
Por: Fine, Benjamin, 1948-
Publicado em: (2014)
Por: Fine, Benjamin, 1948-
Publicado em: (2014)
Registos relacionados
-
Charming proofs a journey into elegant mathematics /
Por: Alsina, Claudi
Publicado em: (2010) -
Ways of proof theory
Por: Schindler, Ralf
Publicado em: (2010) -
Ways of proof theory
Por: Schindler, Ralf
Publicado em: (2010) -
The nuts and bolts of proofs
Por: Cupillari, Antonella
Publicado em: (2005) -
The nuts and bolts of proofs
Por: Cupillari, Antonella
Publicado em: (2005)