
Tell your friends about this 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
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | October 31, 1998 |
ISBN13 | 9780792352624 |
Publishers | Springer |
Pages | 470 |
Dimensions | 156 × 234 × 26 mm · 834 g |
Language | English |
See all of P. Fletcher ( e.g. Hardcover Book and Paperback Book )