{ "item_title" : "Constructivism in Mathematics, Vol 1", "item_author" : [" A. S. Troelstra", "D. Van Dalen "], "item_description" : "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.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/0/44/470/266/0444702660_b.jpg", "price_data" : { "retail_price" : "225.00", "online_price" : "225.00", "our_price" : "225.00", "club_price" : "225.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details