{"product_id":"first-order-logic-9780486683706","title":"Lógica de Primer Orden","description":"Este estudio autónomo es tanto una introducción a la teoría de la cuantificación como una exposición de nuevos resultados y técnicas en métodos \"analíticos\" o \"libres de cortes\". Se centra en el punto de vista de los tableaux. Incluye 144 ilustraciones.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-807827\"\u003eRaymond M. Smullyan\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 30\/01\/1995\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 176\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.38 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 8.48h x 5.42w x 0.39d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780486683706\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0486683702\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\u003cbr\u003e\u003cp\u003e\u003cb\u003eSobre el autor\u003c\/b\u003e\u003cbr\u003eRaymond Smullyan obtuvo su doctorado en la Universidad de Princeton y enseñó en Dartmouth, Princeton, la Universidad de Indiana y el Lehman College de Nueva York. Conocido por sus rompecabezas y juegos de lógica matemática y creativa, también fue concertista de piano y mago. Escribió más de una docena de libros de rompecabezas de lógica y textos sobre lógica matemática. \u003cb\u003eRaymond Smullyan: El bromista alegre \u003cbr\u003e\u003c\/b\u003eRaymond Smullyan (1919-2017), matemático, lógico, mago, creador de rompecabezas extraordinarios, filósofo, pianista y hombre de muchas facetas. El primer libro de Dover de Raymond Smullyan fue \u003ci\u003eFirst-Order Logic\u003c\/i\u003e (1995). Los últimos años han traído varios de sus mágicos libros de lógica y rompecabezas matemáticos: \u003ci\u003eThe Lady or the Tiger\u003c\/i\u003e (2009); \u003ci\u003eSatan, Cantor and Infinity\u003c\/i\u003e (2009); una colección original, nunca antes publicada, \u003ci\u003eKing Arthur in Search of His Dog and Other Curious Puzzles\u003c\/i\u003e (2010); y \u003ci\u003eSet Theory and the Continuum Problem\u003c\/i\u003e (con Melvin Fitting, también reimpreso por Dover en 2010). Más vendrán en los años subsiguientes. \u003c\/p\u003e\u003cp\u003e\u003cb\u003e\u003c\/b\u003e\u003c\/p\u003e\u003cp\u003eEn palabras del autor: \u003cbr\u003e\"Recientemente, alguien me preguntó si creía en la astrología. Pareció algo perplejo cuando le expliqué que la razón por la que no lo hago es que soy Géminis.\" \u003c\/p\u003e\u003cp\u003e\"Algunas personas siempre critican las afirmaciones vagas. Yo tiendo más bien a criticar las afirmaciones precisas: son las únicas que pueden ser correctamente etiquetadas como 'incorrectas'.\" -- Raymond Smullyan \u003c\/p\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":42684941598957,"sku":"9780486683706","price":10.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_e31e5f54-9e7a-4743-8500-d5c1de62d60f.jpg?v=1649761249","url":"https:\/\/sureshotbooks.com\/es\/products\/first-order-logic-9780486683706","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}