{"product_id":"a-friendly-introduction-to-mathematical-logic-9781942341079","title":"Una introducción amigable a la lógica matemática","description":"En la intersección de las matemáticas, la informática y la filosofía, la lógica matemática examina el poder y las limitaciones del pensamiento matemático formal. En esta ampliación de la 1ª edición de Leary, de fácil uso, se introduce a los lectores sin estudios previos en el campo a los fundamentos de la teoría de modelos, la teoría de la prueba y la teoría de la computabilidad. El texto está diseñado para ser utilizado tanto en un aula universitaria de nivel superior como para el autoaprendizaje. Actualizando el tratamiento de lenguajes, estructuras y deducciones de la 1ª edición, lo que lleva a pruebas rigurosas de los Primer y Segundo Teoremas de Incompletitud de G del, la 2ª edición ampliada incluye una nueva introducción a la incompletitud a través de la computabilidad, así como soluciones a ejercicios seleccionados.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-9876338\"\u003eChristopher C. Leary\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-9876339\"\u003eLars Kristiansen\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Milne Library\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 23\/01\/2019\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 380\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.22lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.00h x 6.00w x 0.85d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781942341079\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1942341075\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-EDU\"\u003eEducación\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-EDU000000\"\u003eGeneral\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM051000\"\u003eProgramación | General\u003c\/a\u003e\u003cbr\u003e\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Milne Library","offers":[{"title":"Default Title","offer_id":42679384211693,"sku":"9781942341079","price":44.67,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_574aca90-9a03-4105-b407-cc6079a2df83.jpg?v=1649682611","url":"https:\/\/sureshotbooks.com\/es\/products\/a-friendly-introduction-to-mathematical-logic-9781942341079","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}