Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Constructivism in Mathematics, Vol 1

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

A. S. Troelstra

Dirk van Dalen

Idioma

Inglés

Libro Tapa dura

Código Libristo: 04612005

Editores Elsevier Science, diciembre 1999

These two volumes cover the principal approaches to constructivism in mathematics. They present a th... Descripción completa

Código Libristo: 04612005

539 b

220.29 €

Almacenamiento externo Envío en 10-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

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

Artículos de papelería

10.19 €

Zwischenmenschliche Beziehungen im Zeitalter des Digitalen Gottfried Schweiger

Tapa blanda

73.99 €

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

Tapa dura

20.99 €

FOUR STUDIES OP. 7-4 PIANO Artículos impresos

Partituras

16.89 €

Les Transformations de l'homme Lewis Mumford

Tapa dura

25.79 €

L'homme et son salut Bernard Sesboüé

Tapa blanda

49.79 €

Ako Grinč ukradol Vianoce Dr. Seuss

Tapa dura

15.79 €

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

Tapa blanda

27.69 €

droit de vote des femmes en France Rémi Spinassou

Tapa blanda

14.99 €

Jane Eyre (Spanish Edition) Charlotte Brontë

Tapa blanda

13.49 €

Von Galilei Zu Einstein Giovanni Lampariello

Tapa blanda

52.89 €

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.