
Conte aos seus amigos sobre este item:
Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library 1998 edition
P. Fletcher
Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library 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 Hardcover Book (Livro com lombada e capa dura) |
Lançado | 31 de outubro de 1998 |
ISBN13 | 9780792352624 |
Editoras | Springer |
Páginas | 470 |
Dimensões | 156 × 234 × 26 mm · 834 g |
Idioma | English |
Ver tudo de P. Fletcher ( por exemplo Paperback Book e Hardcover Book )