{"product_id":"mathematical-logic-9780486425337","title":"Lógica matemática","description":"\u003cp\u003eLos estudiantes universitarios sin instrucción previa en lógica matemática se beneficiarán de este texto multipartito equilibrado. Comienza con una descripción elemental pero exhaustiva de la lógica matemática de primer orden. El tratamiento va más allá de un solo método de formulación de la lógica para ofrecer instrucción en una variedad de técnicas: teoría de modelos (tablas de verdad), teoría de la demostración tipo Hilbert y teoría de la demostración manejada a través de reglas derivadas.\u003cbr\u003eLa segunda parte complementa el material discutido anteriormente e introduce algunas de las ideas más nuevas y los resultados más profundos de la investigación lógica del siglo XX. Los capítulos posteriores exploran el estudio de la teoría formal de números, con encuestas de los famosos resultados de incompletitud e indecidibilidad de Godel, Church, Turing y otros. El énfasis en el capítulo final vuelve a la lógica, con exámenes del teorema de completitud de Godel, el teorema de Gentzen, la paradoja de Skolem y los modelos no estándar de la aritmética, y otros teoremas. El autor, Stephen Cole Kleene, fue profesor de matemáticas Cyrus C. MacDuffee en la Universidad de Wisconsin, Madison. Prólogo. Bibliografía. Números de Teoremas y Lemas: Páginas. Lista de Postulados. Símbolos y Notaciones. Índice.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-1793653\"\u003eStephen Kleene\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-10754206\"\u003eMathematics\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Dover Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 18\/12\/2002\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 432\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.97 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 8.56h x 5.50w x 0.86d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780486425337\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0486425339\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\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Dover Publications","offers":[{"title":"Default Title","offer_id":42680533909741,"sku":"9780486425337","price":24.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_96548690-669b-4b5c-8571-faf8a274a887.jpg?v=1649695687","url":"https:\/\/sureshotbooks.com\/es\/products\/mathematical-logic-9780486425337","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}