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: 200.24 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

200.24 €

Na zalogi pri dobavitelju Odposlali bomo v 10-18 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

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

Pisarniški material

8.76 €

Zwischenmenschliche Beziehungen im Zeitalter des Digitalen Gottfried Schweiger

Mehka

63.58 €

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

Trda

18.23 €

FOUR STUDIES OP. 7-4 PIANO Tiskani izdelki

Note

15.21 €

Les Transformations de l'homme Lewis Mumford

Trda

23.27 €

L'homme et son salut Bernard Sesboüé

Mehka

45.04 €

Ako Grinč ukradol Vianoce Dr. Seuss

Trda

12.89 €

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

Mehka

23.47 €

droit de vote des femmes en France Rémi Spinassou

Mehka

12.69 €

Jane Eyre (Spanish Edition) Charlotte Brontë

Mehka

12.49 €

Von Galilei Zu Einstein Giovanni Lampariello

Mehka

45.44 €

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.