{"product_id":"implementing-mathematics-with-the-nuprl-proof-development-system-9781468059106","title":"Implementando las matemáticas con el sistema de desarrollo de pruebas Nuprl","description":"Cuatro objetivos del libro: \u003col\u003e \u003cli\u003eOfrecer un tutorial sobre las ideas matemáticas que subyacen a nuestra investigación.\u003c\/li\u003e \u003cli\u003eServir como manual para los usuarios del sistema Nuprl.\u003c\/li\u003e \u003cli\u003eDar una visión general del proyecto para aquellos interesados en las aplicaciones de los resultados y para aquellos inclinados a la investigación básica en el área.\u003c\/li\u003e \u003cli\u003ePresentar la investigación que ha surgido a medida que hemos trabajado en el sistema Nuprl.\u003c\/li\u003e \u003c\/ol\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-9068637\"\u003eR. L. Constable\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Createspace Independent Publishing Platform\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 23\/01\/2012\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 310\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.92lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.02h x 5.98w x 0.65d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781468059106\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1468059106\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-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM014000\"\u003eCiencias de la Computación\u003c\/a\u003e\u003cbr\u003e\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Createspace Independent Publishing Platform","offers":[{"title":"Default Title","offer_id":44586626023661,"sku":"9781468059106","price":16.13,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_1058b667-eae9-465e-897e-466b24dbbe52.jpg?v=1702184477","url":"https:\/\/sureshotbooks.com\/es\/products\/implementing-mathematics-with-the-nuprl-proof-development-system-9781468059106","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}