{"product_id":"9783540556312","title":"Constructivity in Computer Science","description":"Mathematicians have long recognized the distinction betweenan argument     showing that an interesting object exists and aprocedure for actually      constructing the object. Computerscience adds a new dimension of interest  in constructivity,since a computer program is a formal description of      aconstructive procedure that can be executed automatically.It has beenover a decade since a conference was devoted toconstructivity, and never   before has one been heldspecifically relating computer science to          constructivity.Thus, this proceedings volume is the most                   concentratedoffering ever produced of the diverse ways in                  whichconstructivity and computer science are related. The paperscover semantics and type theory, logic and theorem proving,real and complex      analysis, topology and combinatorics,nonconstructive graph-theoretical     techniques, and curriculumand pedagogic issues.The book offers a      concentrated view of the many ways inwhich constructivity has assumed      importance in computerscience, and contains results available nowhere else.","brand":"J.Paul Jr. Myers","offers":[{"title":"Default Title","offer_id":47628082839870,"sku":"9783540556312","price":1551.22,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783540556312.jpg?v=1707722022","url":"https:\/\/exclusivebooks.co.za\/products\/9783540556312","provider":"Exclusive Books Online","version":"1.0","type":"link"}