{"product_id":"natural-deduction-a-proof-theoretical-study-9780486446554","title":"Deducción natural: Un estudio de teoría de la demostración","description":"Las teorías de Prawitz forman la base de la teoría de tipos intuicionista, y su principio de inversión constituye el fundamento de la mayoría de las explicaciones modernas de la semántica de la teoría de la demostración. El sistema de la teoría de la demostración representa un método más simple y esclarecedor que los enfoques alternativos, y este volumen ofrece una ilustración concisa y coherente de sus aplicaciones a la deducción natural. Edición de 1965.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-882791\"\u003eDag Prawitz\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Dover Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 24\/02\/2006\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 113\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.30lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 7.68h x 5.98w x 0.28d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780486446554\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0486446557\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-MAT000000\"\u003eGeneral\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-PHI\"\u003eFilosofía\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-PHI011000\"\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":42679845159149,"sku":"9780486446554","price":9.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_08bf195c-49cd-437c-8850-a2f86856a8a3.jpg?v=1649687488","url":"https:\/\/sureshotbooks.com\/es\/products\/natural-deduction-a-proof-theoretical-study-9780486446554","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}