Code: 04612005

Constructivism in Mathematics, Vol 1

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

by A. S. Troelstra, Dirk van Dalen

Language: English
Binding: Hardback
Number of pages: 355
Publisher: Elsevier Science, 1999
More about this

200.41 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

Elden Ring: Official Art Book Volume I
42.86 € -23 %
Buy
Sex Talks: The Five Conversations That Will Transform Your Love Life
14.01 € -25 %
Buy
86 - Eighty-Six. V12
13.91 € -20 %
Buy
Angel Guide Oracle
16.83 € -24 %
Buy
Beautiful Machines - The Italians
54.15 € -13 %
Buy
Splat the Cat and the Cat in the Moon
4.53 € -25 %
Buy
Disney: Cinderella Pop-Up Book
25 € -25 %
Buy
Drawing Cutting Edge Anatomy
15.12 € -26 %
Buy
Gentleman's Guide to Getting Lucky
7.86 € -25 %
Buy
Minecraft Maps
19.15 € -4 %
Buy
German Flak in World War II
18.45 € -26 %
Buy
Ako Grinč ukradol Vianoce
12.19 € -30 %
Buy
Koh-i-noor tužka grafitová umělecká 8B–2H souprava 12 ks v plechové krabičce
8.16 € -31 %
Buy
Jane Eyre (Spanish Edition)
14.01 €
Buy
Hounded
6.45 € -29 %
Pre-order
Classic Christmas Stories
10.58 € -30 %
Buy
Team Phoenix Volume 1
13.91 € -24 %
Buy
Oxford Reading Tree Songbirds Phonics: Level 1+: Sam's Pot
5.74 € -25 %
Buy
Feeling at Home
16.03 € -19 %
Buy
Grand Canyon: Unseen Beauty
16.03 € -21 %
Buy
John Diamond
18.04 € -25 %
Buy
Historical Perspectives on Sustainable Fashion
32.87 € -10 %
Buy
Ú.P.V.O. Lidská bytost
17.04 € -30 %
Buy
Ends of Philosophy of Religion
53.15 € -4 %
Buy
Vitiligo Doesn't Scare Me
12.40 €
Buy
NumPy Beginner's Guide ()
47.09 € -1 %
Buy
My Phonics Words 6-Pack Complete Collection
3344.49 € -9 %
Buy
Intelligent MEMS Motion Sensor
40.03 € -14 %
Buy
L'homme et son salut
49.41 €
Buy
Day Starters for Students: 60 Devotional Thoughts to Stay Honest With God
14.01 € -7 %
Buy
A Summer Cruise on the Coast of New England (1864)
28.23 € -1 %
Buy
Blue Highway
9.67 € -9 %
Buy
Les Transformations de l'homme
25.61 €
Buy
FOUR STUDIES OP. 7-4 PIANO
16.73 €
Buy
droit de vote des femmes en France
13.51 € -5 %
Buy
Death Comes for the Poets
12.80 € -25 %
Buy
Color Blind
7.25 € -6 %
Buy
Operation Synapse
24 €
Buy
Grade 1 Phonics
10.58 € -25 %
Buy
Behandlung von Alkoholabhangigkeit. Das Suchthilfesystem und weitere Therapieansatze
25 € -11 %
Buy
Von Galilei Zu Einstein
48.20 € -7 %
Buy
Community Social Work Practice in an Urban Context
40.74 €
Buy
Zwischenmenschliche Beziehungen im Zeitalter des Digitalen
67.27 € -7 %
Buy
Proteomics and Protein-Protein Interactions
205.15 € -7 %
Buy
Logical Evolution of the Mdmp
15.62 € -2 %
Buy
Political Economy of Euro-Mediterranean Relations
55.67 €
Buy
Planning Your Research And How To Write It
39.02 €
Buy
Recent Advances in Soft Computing and Data Mining
287.05 € -7 %
Buy
Handbook of Population and Family Economics
146.75 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Constructivism in Mathematics, Vol 1

Book details
Synopsis
Trending among others

You get 486 loyalty points

Book synopsis

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.