Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Constructivism in Mathematics, Vol 1

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

A. S. Troelstra

Dirk van Dalen

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 04612005

Založba Elsevier Science, december 1999

These two volumes cover the principal approaches to constructivism in mathematics. They present a th... Celoten opis

Koda Libristo: 04612005

486 b

199.79 €

Na zalogi pri dobavitelju Odposlali bomo v 10-18 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Jane Eyre (Spanish Edition) Charlotte Brontë

Mehka

12.46 €

Todo lo que debe saber sobre la Segunda Guerra Mundial: La guía definitiva para conocer y comprender el mayor conflicto bélico de la historia

Mehka

25.83 €

Von Galilei Zu Einstein Giovanni Lampariello

Mehka

45.34 €

Fake or not - Voitures Aurélien Bigo

Mehka

15.68 €

Zwischenmenschliche Beziehungen im Zeitalter des Digitalen Gottfried Schweiger

Mehka

63.44 €

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

Trda

18.39 €

Les Transformations de l'homme Lewis Mumford

Trda

22.31 €

L'homme et son salut Bernard Sesboüé

Mehka

44.03 €

Membrane Chi

Mehka

20.50 €

droit de vote des femmes en France Rémi Spinassou

Mehka

12.66 €

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

Pisarniški material

9.44 €

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

Mehka

23.42 €

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.