{"product_id":"logica-metodo-breve-9788847018839","title":"Logica: Metodo Breve","description":"\u003cp\u003e • Author(s): Daniele Mundici\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eSenza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47813485396119,"sku":"9788847018839","price":3134.0,"currency_code":"INR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9788847018839.webp?v=1778336316","url":"https:\/\/atlanticbooks.com\/products\/logica-metodo-breve-9788847018839","provider":"Atlantic Books","version":"1.0","type":"link"}