{"product_id":"introduction-to-higher-order-categorical-logic-9780521356534","title":"Introducción a la lógica categórica de orden superior","description":"En este volumen, Lambek y Scott concilian dos puntos de vista diferentes de los fundamentos de las matemáticas, a saber, la lógica matemática y la teoría de categorías. En la Parte I, muestran que los cálculos lambda tipados, una formulación de la lógica de orden superior, y las categorías cerradas cartesianas, son esencialmente lo mismo. La Parte II demuestra que otra formulación de la lógica de orden superior, las teorías de tipos (intuicionistas), está estrechamente relacionada con la teoría de topos. La Parte III está dedicada a las funciones recursivas. Se dan numerosas aplicaciones de la estrecha relación entre la lógica tradicional y el lenguaje algebraico de la teoría de categorías. Los autores han incluido una introducción a la teoría de categorías y desarrollan la lógica necesaria según se requiera, lo que hace que el libro sea esencialmente autónomo. Se proporcionan referencias históricas detalladas a lo largo de todo el libro, y cada sección concluye con un conjunto de ejercicios.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-12080334\"\u003eJ. Lambek\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-10415962\"\u003eP. J. Scott\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Cambridge University Press\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 25\/03\/1988\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 304\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.00lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.22h x 6.10w x 0.76d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780521356534\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0521356539\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":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":42637679067373,"sku":"9780521356534","price":121.83,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_1b5c7eb0-475d-4907-b5d7-ff349235c7e0.jpg?v=1649018893","url":"https:\/\/sureshotbooks.com\/es\/products\/introduction-to-higher-order-categorical-logic-9780521356534","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}