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

Pris
DKK 1.714

Bestilles fra fjernlager

Forventes klar til forsendelse 13. - 20. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller

Findes også som:

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