Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Constructivism in Mathematics, Vol 1

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

A. S. Troelstra

Dirk van Dalen

Language

English

Book Hardback

Libristo code: 04612005

Publishers Elsevier Science, December 1999

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

Libristo code: 04612005

508 b

75 619 Ft

In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

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

Stationery items

3 528 Ft

Zwischenmenschliche Beziehungen im Zeitalter des Digitalen Gottfried Schweiger

Paperback

26 389 Ft

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

Hardback

7 304 Ft

FOUR STUDIES OP. 7-4 PIANO Printed items

Sheet music

6 024 Ft

Les Transformations de l'homme Lewis Mumford

Hardback

9 209 Ft

L'homme et son salut Bernard Sesboüé

Paperback

17 808 Ft

Ako Grinč ukradol Vianoce Dr. Seuss

Hardback

5 296 Ft

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

Paperback

9 861 Ft

droit de vote des femmes en France Rémi Spinassou

Paperback

5 339 Ft

Jane Eyre (Spanish Edition) Charlotte Brontë

Paperback

5 029 Ft

Von Galilei Zu Einstein Giovanni Lampariello

Paperback

18 892 Ft

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.