Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library - P. Fletcher - Kirjat - Springer - 9780792352624 - lauantai 31. lokakuuta 1998
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

P. Fletcher

Hinta
SEK 2.269

Tilattu etävarastosta

Arvioitu toimitus ke - pe 13. - 22. elo
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä lauantai 31. lokakuuta 1998
ISBN13 9780792352624
Tuottaja Springer
Sivujen määrä 470
Mitta 156 × 234 × 26 mm   ·   834 g
Kieli English