Produkt
KlappentextConstructive 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.
Details
ISBN/GTIN978-90-481-5105-9
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2010
Erscheinungsdatum07.12.2010
AuflageSoftcover reprint of hardcover 1st ed. 1998
ReiheSynthese Library
Seiten470 Seiten
SpracheEnglisch
Gewicht737 g
IllustrationenX, 470 p.
Artikel-Nr.10151095
Rubriken