{"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.\u003cbr\u003e\u003cbr\u003e\u003ci\u003eProofs and Algorithms: Introduction to Logic and Computability \u003c\/i\u003eis 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.\u003cbr\u003e\u003cbr\u003eDesigned for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic.\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2011\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer London\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 540\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"Gilles Dowek","offers":[{"title":"Default Title","offer_id":41256679178418,"sku":"9780857291202","price":54.52,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/0857291203.01_SCLZZZZZZZ.jpg?v=1635872273","url":"https:\/\/readabook.store\/products\/9780857291202","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}