Truth, Proof and Infinity: A Theory of Constructive Reasoning - Synthese Library - P. Fletcher - Bøger - Springer - 9780792352624 - 31. oktober 1998
Ved uoverensstemmelse mellem cover og titel gælder titel

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

P. Fletcher

Pris
SEK 2.609

Bestilles fra fjernlager

Forventes klar til forsendelse 7. - 14. aug.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 31. oktober 1998
ISBN13 9780792352624
Forlag Springer
Antal sider 470
Mål 156 × 234 × 26 mm   ·   834 g
Sprog Engelsk