{"product_id":"constructivity-in-computer-science-summer-symposium-san-antonio-tx-june-19-22-1991-proceedings-von-j-paul-jr-myers-michael-j-odonnell-hrsg","title":"Constructivity in Computer Science","description":"Mathematicians have long recognized the distinction between\nan argument     showing that an interesting object exists and a\nprocedure for actually      constructing the object. Computer\nscience adds a new dimension of interest  in constructivity,\nsince a computer program is a formal description of      a\nconstructive procedure that can be executed automatically.\nIt has beenover a decade since a conference was devoted to\nconstructivity, and never   before has one been held\nspecifically relating computer science to          constructivity.\nThus, this proceedings volume is the most                   concentrated\noffering ever produced of the diverse ways in                  which\nconstructivity and computer science are related. The papers\ncover semantics and type theory, logic and theorem proving,\nreal and complex      analysis, topology and combinatorics,\nnonconstructive graph-theoretical     techniques, and curriculum\nand pedagogic issues.\nThe book offers a      concentrated view of the many ways in\nwhich constructivity has assumed      importance in computer\nscience, and contains results available nowhere else.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540556312\"\u003e\u003ch3\u003eSummer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540556312","offer_id":39436737970269,"sku":"9783540556312","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/bf27d1e3-880b-4f68-a127-f5c0f9e58e25.jpg?v=1773554592","url":"https:\/\/shop.autorenwelt.de\/products\/constructivity-in-computer-science-summer-symposium-san-antonio-tx-june-19-22-1991-proceedings-von-j-paul-jr-myers-michael-j-odonnell-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}