Sorry, this item is not available in
Image not available for
Color:
Image not available

To view this video download Flash Player

 
Sell Us Your Item
For a $4.55 Gift Card
Trade in
Have one to sell? Sell yours here
Tell the Publisher!
I'd like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Constructivism in Mathematics Vol.1, Volume 1 (Studies in Logic and the Foundations of Mathematics) [Hardcover]

A. S. Troelstra


Available from these sellers.


Free Two-Day Shipping for College Students with Amazon Student

Shop the new tech.book(store)
New! Introducing the tech.book(store), a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Book Description

July 15, 1988 0444702660 978-0444702661 1
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.

Customers Who Viewed This Item Also Viewed


Editorial Reviews

Review

The present volume is completely self contained, and would make an excellent choice of text for an introductory course on its subject. Most of the material has been tried our in courses at Amsterdam and Utrecht; each chapter has a good collection of exercises. -- A. Urquhart, Studia Logica

Product Details

  • Series: Studies in Logic and the Foundations of Mathematics (Book 1)
  • Hardcover: 355 pages
  • Publisher: Elsevier Science; 1 edition (July 15, 1988)
  • Language: English
  • ISBN-10: 0444702660
  • ISBN-13: 978-0444702661
  • Product Dimensions: 9.1 x 6.3 x 0.8 inches
  • Shipping Weight: 1.8 pounds
  • Amazon Best Sellers Rank: #1,448,530 in Books (See Top 100 in Books)

More About the Authors

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

There are no customer reviews yet.
5 star
4 star
3 star
2 star
1 star
Share your thoughts with other customers




What Other Items Do Customers Buy After Viewing This Item?


Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

Forums

There are no discussions about this product yet.
Be the first to discuss this product with the community.
Start a new discussion
Topic:
First post:
Prompts for sign-in
 



Look for Similar Items by Category