Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Constructivism in Mathematics, Vol 1

Name: Constructivism in Mathematics, Vol 1
Brand: Elsevier Science
SKU: 04612005
Price: 216.69 EUR
Availability: InStock
Author: A. S. Troelstra
ISBN: 9780444702661

A. S. Troelstra

Dirk van Dalen

Sprache

Englisch

Buch Hardcover

Libristo-Code: 04612005

Verlag Elsevier Science, Dezember 1999

These two volumes cover the principal approaches to constructivism in mathematics. They present a th... Vollständige Beschreibung

Libristo-Code: 04612005

530 b

216.69 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Koh-i-noor tužka grafitová umělecká 8B–2H souprava 12 ks v plechové krabičce

Papier- und Schreibwaren

9.29 €

Zwischenmenschliche Beziehungen im Zeitalter des Digitalen Gottfried Schweiger

Broschur

70.29 €

Ú.P.V.O. Lidská bytost John Arcudi

Hardcover

19.29 €

FOUR STUDIES OP. 7-4 PIANO Drucksachen

Noten

17.39 €

Les Transformations de l'homme Lewis Mumford

Hardcover

26.49 €

L'homme et son salut Bernard Sesboüé

Broschur

51.19 €

Ako Grinč ukradol Vianoce Dr. Seuss

Hardcover

15.29 €

Behandlung von Alkoholabhangigkeit. Das Suchthilfesystem und weitere Therapieansatze Dörthe Badenschier

Broschur

27.95 €

droit de vote des femmes en France Rémi Spinassou

Broschur

14.19 €

Jane Eyre (Spanish Edition) Charlotte Brontë

Broschur

14.49 €

Von Galilei Zu Einstein Giovanni Lampariello

Broschur

50.29 €

These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Constructivism in Mathematics, Vol 1

Autor A. S. Troelstra, Dirk van Dalen

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1999

Anzahl der Seiten 355

EAN 9780444702661

ISBN 0444702660

Libristo-Code 04612005

Verlag Elsevier Science

Gewicht 790

Abmessungen 156 x 234 x 22

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur

Nachschlagewerke, Informationswissenschaften und Interdisziplinäre Themen > Forschung und Information, allgemein > Informationstheorie

Mathematik und Naturwissenschaften > Naturwissenschaften, allgemein > Geschichte der Naturwissenschaften

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert