
Conte aos seus amigos sobre este item:
Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library Softcover reprint of hardcover 1st ed. 1998 edition
P. Fletcher
Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library Softcover reprint of hardcover 1st ed. 1998 edition
P. Fletcher
Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it.
470 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 7 de dezembro de 2010 |
ISBN13 | 9789048151059 |
Editoras | Springer |
Páginas | 470 |
Dimensões | 160 × 240 × 24 mm · 666 g |
Idioma | English |
Ver tudo de P. Fletcher ( por exemplo Hardcover Book e Paperback Book )