{"product_id":"computability-and-logic-9780521701464","title":"Computabilidad y Lógica","description":"Computability and Logic se ha convertido en un clásico por su accesibilidad para estudiantes sin experiencia matemática y porque cubre no solo los temas principales de un curso de lógica intermedio, como los teoremas de incompletitud de Gödel, sino también un gran número de temas opcionales, desde la teoría de computabilidad de Turing hasta el teorema de Ramsey. Incluyendo una selección de ejercicios, ajustados para esta edición, al final de cada capítulo, ofrece un tratamiento nuevo y más simple de la representabilidad de las funciones recursivas, un obstáculo tradicional para los estudiantes en el camino hacia los teoremas de incompletitud de Gödel.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-12299080\"\u003eGeorge Boolos\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-1241839\"\u003eJohn P. Burgess\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-170620\"\u003eRichard C. Jeffrey\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Cambridge University Press\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 29\/11\/2007\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 366\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.44lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.95h x 7.09w x 0.75d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780521701464\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0521701465\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-PHI\"\u003eFilosofía\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-PHI011000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":42670205501677,"sku":"9780521701464","price":59.5,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_2d867fdb-df2b-4d2f-a464-6bd8b24a3dda.jpg?v=1649489981","url":"https:\/\/sureshotbooks.com\/es\/products\/computability-and-logic-9780521701464","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}