Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Constructivism in Mathematics, Vol 1

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

A. S. Troelstra

Dirk van Dalen

Jezik

Engleski

Knjiga Tvrdi uvez

Libristo kod: 04612005

Nakladnici Elsevier Science, prosinac 1999

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

Libristo kod: 04612005

486 b

201.20 €

Vanjske zalihe Šaljemo za 10-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

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

Proizvodi od papira

9.31 €

Zwischenmenschliche Beziehungen im Zeitalter des Digitalen Gottfried Schweiger

Meki uvez

75.33 €

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

Tvrdi uvez

19.53 €

FOUR STUDIES OP. 7-4 PIANO Tiskanica

Note

16.09 €

Les Transformations de l'homme Lewis Mumford

Tvrdi uvez

24.50 €

L'homme et son salut Bernard Sesboüé

Meki uvez

47.38 €

Ako Grinč ukradol Vianoce Dr. Seuss

Tvrdi uvez

13.86 €

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

Meki uvez

25.10 €

droit de vote des femmes en France Rémi Spinassou

Meki uvez

14.88 €

Jane Eyre (Spanish Edition) Charlotte Brontë

Meki uvez

13.36 €

Von Galilei Zu Einstein Giovanni Lampariello

Meki uvez

51.03 €

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.