Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Constructivism in Mathematics, Vol 1

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

A. S. Troelstra

Dirk van Dalen

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 04612005

Editoras Elsevier Science, dezembro 1999

These two volumes cover the principal approaches to constructivism in mathematics. They present a th... Descrição completa

Código Libristo: 04612005

464 b

191.55 €

Armazenamento externo Envio em 10-18 dias

Até 30 dias para devoluções

Os clientes também compraram

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

Artigos de papelaria

8.78 €

Zwischenmenschliche Beziehungen im Zeitalter des Digitalen Gottfried Schweiger

Capa mole

63.74 €

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

Livro de capa dura

18.28 €

FOUR STUDIES OP. 7-4 PIANO Artigos impressos

Partituras

14.54 €

Les Transformations de l'homme Lewis Mumford

Livro de capa dura

22.22 €

L'homme et son salut Bernard Sesboüé

Capa mole

43.03 €

Ako Grinč ukradol Vianoce Dr. Seuss

Livro de capa dura

14.24 €

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

Capa mole

23.53 €

droit de vote des femmes en France Rémi Spinassou

Capa mole

12.72 €

Jane Eyre (Spanish Edition) Charlotte Brontë

Capa mole

11.91 €

Von Galilei Zu Einstein Giovanni Lampariello

Capa mole

45.56 €

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.