Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Constructivism in Mathematics, Vol 1

by A. S. Troelstra
Save 40% Save 40%
Current price ₹4,229.00
Original price ₹7,047.00
Original price ₹7,047.00
Original price ₹7,047.00
(-40%)
₹4,229.00
Current price ₹4,229.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Hardcover
  • ISBN13: 9780444702661
  • Binding: Hardcover
  • Subject: N/A
  • Publisher: Elsevier Science
  • Publisher Imprint: Elsevier Science
  • Publication Date:
  • Pages: 355
  • Original Price: USD 72.95
  • Language: English
  • Edition: N/A
  • Item Weight: 708 grams
  • BISAC Subject(s): Logic, History, and Information Theory

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.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us