{"product_id":"proofs-and-algorithms-an-introduction-to-logic-and-computability-9780857291202","title":"Proofs and Algorithms: An Introduction to Logic and Computability","description":"\u003cp\u003e • Author(s): Gilles Dowek\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Computer Science\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eFrom the Back Cover\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eProofs and Algorithms: An Introduction to Logic and Computability\u003c\/p\u003e\u003cp\u003eLogic 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. \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003ci\u003eProofs and Algorithms: An Introduction to Logic and Computability\u003c\/i\u003e 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. \u003cp\u003e\u003c\/p\u003eDesigned for undergraduate students, this book presents all that philosophers, mathematicians and computer scientists should know about logic. ","brand":"Springer","offers":[{"title":"Paperback","offer_id":45274846363799,"sku":"9780857291202","price":2544.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780857291202.webp?v=1769281113","url":"https:\/\/atlanticbooks.com\/products\/proofs-and-algorithms-an-introduction-to-logic-and-computability-9780857291202","provider":"Atlantic Books","version":"1.0","type":"link"}