{"product_id":"9780857291202","title":"Undergraduate Topics in Computer Science: An Introduction to Logic and Computability","description":"\u003ch1\u003eUndergraduate Topics in Computer Science: An Introduction to Logic and Computability\u003c\/h1\u003e \u003ch2\u003eDowek, Gilles\u003c\/h2\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.\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.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2011-01-14\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9780857291202\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-0-85729-121-9\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 156\u003c\/p\u003e ","brand":"Springer London","offers":[{"title":"Default Title","offer_id":45382518702220,"sku":"9780857291202","price":35.96,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780857291202.jpg?v=1776453136","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9780857291202","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}