{"product_id":"proofs-and-computations-book-stanley-wainer-9780521517690","title":"Proofs and Computations","description":"Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51003122745617,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51003125334289,"sku":"NIN9780521517690","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52336978821393,"sku":"NLS9780521517690","price":79.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0521517699.jpg?v=1786113247","url":"https:\/\/www.worldofbooks.com\/en-gb\/products\/proofs-and-computations-book-stanley-wainer-9780521517690","provider":"World of Books ","version":"1.0","type":"link"}