|
Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Not currently available
Constructivism in Mathematics, Vol 1, Volume 121 (Hardcover)
Loot Price: R1,553
Discovery Miles 15 530
|
|
|
Constructivism in Mathematics, Vol 1, Volume 121 (Hardcover)
Series: Studies in Logic and the Foundations of Mathematics
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
