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...
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Údair chorparáideacha: | , |
| Rannpháirtithe: | |
| Formáid: | Leictreonach Ríomhleabhar |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Washington, D.C. :
Mathematical Association of America,
c2010.
|
| Sraith: | Dolciani mathematical expositions ;
no. 42 |
| Ábhair: | |
| Rochtain ar líne: | An electronic book accessible through the World Wide Web; click to view |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla
Charming proofs a journey into elegant mathematics /
de réir: Alsina, Claudi
Foilsithe / Cruthaithe: (2010)
de réir: Alsina, Claudi
Foilsithe / Cruthaithe: (2010)
Ways of proof theory
de réir: Schindler, Ralf
Foilsithe / Cruthaithe: (2010)
de réir: Schindler, Ralf
Foilsithe / Cruthaithe: (2010)
Ways of proof theory
de réir: Schindler, Ralf
Foilsithe / Cruthaithe: (2010)
de réir: Schindler, Ralf
Foilsithe / Cruthaithe: (2010)
The nuts and bolts of proofs
de réir: Cupillari, Antonella
Foilsithe / Cruthaithe: (2005)
de réir: Cupillari, Antonella
Foilsithe / Cruthaithe: (2005)
The nuts and bolts of proofs
de réir: Cupillari, Antonella
Foilsithe / Cruthaithe: (2005)
de réir: Cupillari, Antonella
Foilsithe / Cruthaithe: (2005)
Proof, logic, and formalization
Foilsithe / Cruthaithe: (1992)
Foilsithe / Cruthaithe: (1992)
Proof, logic, and formalization
Foilsithe / Cruthaithe: (1992)
Foilsithe / Cruthaithe: (1992)
Memoirs of a proof theorist Gödel and other logicians /
de réir: Takeuti, Gaisi, 1926-
Foilsithe / Cruthaithe: (2003)
de réir: Takeuti, Gaisi, 1926-
Foilsithe / Cruthaithe: (2003)
Memoirs of a proof theorist Gödel and other logicians /
de réir: Takeuti, Gaisi, 1926-
Foilsithe / Cruthaithe: (2003)
de réir: Takeuti, Gaisi, 1926-
Foilsithe / Cruthaithe: (2003)
Concepts of proof in mathematics, philosophy, and computer science /
Foilsithe / Cruthaithe: (2016)
Foilsithe / Cruthaithe: (2016)
Concepts of proof in mathematics, philosophy, and computer science /
Foilsithe / Cruthaithe: (2016)
Foilsithe / Cruthaithe: (2016)
Tracking reason proof, consequence, and truth /
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)
Tracking reason proof, consequence, and truth /
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)
Lectures on the Curry-Howard isomorphism
de réir: Sørensen, Morten Heine
Foilsithe / Cruthaithe: (2006)
de réir: Sørensen, Morten Heine
Foilsithe / Cruthaithe: (2006)
Lectures on the Curry-Howard isomorphism
de réir: Sørensen, Morten Heine
Foilsithe / Cruthaithe: (2006)
de réir: Sørensen, Morten Heine
Foilsithe / Cruthaithe: (2006)
Logic for concurrency and synchronisation
Foilsithe / Cruthaithe: (2003)
Foilsithe / Cruthaithe: (2003)
Logic for concurrency and synchronisation
Foilsithe / Cruthaithe: (2003)
Foilsithe / Cruthaithe: (2003)
Icons of mathematics an exploration of twenty key images /
de réir: Alsina, Claudi
Foilsithe / Cruthaithe: (2011)
de réir: Alsina, Claudi
Foilsithe / Cruthaithe: (2011)
Icons of mathematics an exploration of twenty key images /
de réir: Alsina, Claudi
Foilsithe / Cruthaithe: (2011)
de réir: Alsina, Claudi
Foilsithe / Cruthaithe: (2011)
Conditional and preferential logics proof methods and theorem proving /
de réir: Pozzato, Gian Luca
Foilsithe / Cruthaithe: (2010)
de réir: Pozzato, Gian Luca
Foilsithe / Cruthaithe: (2010)
Conditional and preferential logics proof methods and theorem proving /
de réir: Pozzato, Gian Luca
Foilsithe / Cruthaithe: (2010)
de réir: Pozzato, Gian Luca
Foilsithe / Cruthaithe: (2010)
Mathematical logic
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
Mathematical logic
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
de réir: Woodin, W. H. (W. Hugh)
Foilsithe / Cruthaithe: (2010)
de réir: Woodin, W. H. (W. Hugh)
Foilsithe / Cruthaithe: (2010)
The axiom of determinacy, forcing axioms, and the nonstationary ideal
de réir: Woodin, W. H. (W. Hugh)
Foilsithe / Cruthaithe: (2010)
de réir: Woodin, W. H. (W. Hugh)
Foilsithe / Cruthaithe: (2010)
Distribution models theory
Foilsithe / Cruthaithe: (2006)
Foilsithe / Cruthaithe: (2006)
Distribution models theory
Foilsithe / Cruthaithe: (2006)
Foilsithe / Cruthaithe: (2006)
Perspectives in logic logical foundations of proof complexity /
de réir: Cook, Stephen, 1948-
Foilsithe / Cruthaithe: (2010)
de réir: Cook, Stephen, 1948-
Foilsithe / Cruthaithe: (2010)
Perspectives in logic logical foundations of proof complexity /
de réir: Cook, Stephen, 1948-
Foilsithe / Cruthaithe: (2010)
de réir: Cook, Stephen, 1948-
Foilsithe / Cruthaithe: (2010)
Representation and productive ambiguity in mathematics and the sciences
de réir: Grosholz, Emily R.
Foilsithe / Cruthaithe: (2007)
de réir: Grosholz, Emily R.
Foilsithe / Cruthaithe: (2007)
Representation and productive ambiguity in mathematics and the sciences
de réir: Grosholz, Emily R.
Foilsithe / Cruthaithe: (2007)
de réir: Grosholz, Emily R.
Foilsithe / Cruthaithe: (2007)
Recursion theory : computational aspects of definability /
de réir: Chong, C.-T. (Chi-Tat), 1949-, et al.
Foilsithe / Cruthaithe: (2015)
de réir: Chong, C.-T. (Chi-Tat), 1949-, et al.
Foilsithe / Cruthaithe: (2015)
Recursion theory : computational aspects of definability /
de réir: Chong, C.-T. (Chi-Tat), 1949-, et al.
Foilsithe / Cruthaithe: (2015)
de réir: Chong, C.-T. (Chi-Tat), 1949-, et al.
Foilsithe / Cruthaithe: (2015)
Computational prospects of infinity
Foilsithe / Cruthaithe: (2008)
Foilsithe / Cruthaithe: (2008)
Computational prospects of infinity
Foilsithe / Cruthaithe: (2008)
Foilsithe / Cruthaithe: (2008)
Forcing for mathematicians /
de réir: Weaver, Nik
Foilsithe / Cruthaithe: (2014)
de réir: Weaver, Nik
Foilsithe / Cruthaithe: (2014)
Forcing for mathematicians /
de réir: Weaver, Nik
Foilsithe / Cruthaithe: (2014)
de réir: Weaver, Nik
Foilsithe / Cruthaithe: (2014)
Fine structure and class forcing
de réir: Friedman, Sy D., 1953-
Foilsithe / Cruthaithe: (2000)
de réir: Friedman, Sy D., 1953-
Foilsithe / Cruthaithe: (2000)
Fine structure and class forcing
de réir: Friedman, Sy D., 1953-
Foilsithe / Cruthaithe: (2000)
de réir: Friedman, Sy D., 1953-
Foilsithe / Cruthaithe: (2000)
Logic without borders /
Foilsithe / Cruthaithe: (2015)
Foilsithe / Cruthaithe: (2015)