{"product_id":"9780857291202","title":"Proofs and Algorithms","description":"Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel’s incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed our vision of reasoning, computation, and finally truth itself.Designed for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.","brand":"Gilles Dowek","offers":[{"title":"Default Title","offer_id":45922203828542,"sku":"9780857291202","price":1130.05,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9780857291202_f64dc166-f5ca-42e5-849e-5f84e89c45be.jpg?v=1707344138","url":"https:\/\/exclusivebooks.co.za\/products\/9780857291202","provider":"Exclusive Books Online","version":"1.0","type":"link"}