{"product_id":"proof-theory-9780486490731","title":"Teoría de la Demostración","description":"Centrándose en la teoría de la prueba de tipo Gentzen, este volumen presenta una visión detallada de los trabajos creativos del autor Gaisi Takeuti y otros lógicos del siglo XX. El texto explora las aplicaciones de la teoría de la prueba a la lógica, así como a otras áreas de las matemáticas. Adecuado para estudiantes universitarios avanzados y graduados de matemáticas, esta monografía, que lleva mucho tiempo agotada, constituye la piedra angular de cualquier biblioteca de lógica matemática y temas relacionados.\u003cbr\u003eEl tratamiento en tres partes comienza con una exploración de los sistemas de primer orden, incluyendo un tratamiento del cálculo de predicados que implica el teorema de eliminación de corte de Gentzen y la teoría de los números naturales en términos del teorema de incompletitud de G del y la prueba de consistencia de Gentzen. La segunda parte, que considera sistemas de segundo orden y de orden finito, cubre la teoría simple de tipos y la lógica infinitaria. Los capítulos finales abordan los problemas de consistencia con un examen de las pruebas de consistencia y sus aplicaciones.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-1223084\"\u003eGaisi Takeuti\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Dover Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 20\/02\/2013\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 490\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.40 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 8.90h x 5.90w x 1.10d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780486490731\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0486490734\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":42663516668141,"sku":"9780486490731","price":24.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_571f4f37-6e08-4f28-b154-09af15577b75.jpg?v=1649394251","url":"https:\/\/sureshotbooks.com\/es\/products\/proof-theory-9780486490731","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}