Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Constructivism in Mathematics, Vol 1

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

A. S. Troelstra

Dirk van Dalen

Език

Английски език

Книга С твърди корици

Код Либристо: 04612005

Издателство Elsevier Science, декември 1999

These two volumes cover the principal approaches to constructivism in mathematics. They present a th... Цялото описание

Код Либристо: 04612005

508 b

209.83 €

410.39 лв

Външен склад Изпращаме след 10-18 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

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

Канцеларски материали

10.02 € 19.59 лв

Zwischenmenschliche Beziehungen im Zeitalter des Digitalen Gottfried Schweiger

С меки корици

71.02 € 138.91 лв

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

С твърди корици

20.76 € 40.61 лв

FOUR STUDIES OP. 7-4 PIANO Печатни материали

Ноти

17.51 € 34.24 лв

Les Transformations de l'homme Lewis Mumford

С твърди корици

26.70 € 52.22 лв

L'homme et son salut Bernard Sesboüé

С меки корици

51.60 € 100.92 лв

Ako Grinč ukradol Vianoce Dr. Seuss

С твърди корици

15.60 € 30.50 лв

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

С меки корици

26.49 € 51.82 лв

droit de vote des femmes en France Rémi Spinassou

С меки корици

14.36 € 28.08 лв

Jane Eyre (Spanish Edition) Charlotte Brontë

С меки корици

14.72 € 28.78 лв

Von Galilei Zu Einstein Giovanni Lampariello

С меки корици

50.83 € 99.41 лв

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.