Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library - P. Fletcher - Books - Springer - 9780792352624 - October 31, 1998
In case cover and title do not match, the title is correct

Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library 1998 edition

P. Fletcher

Price
NZD 359.50
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 19 - Sep 1
Add to your iMusic wish list

Also available as:

Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library 1998 edition

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