Daniele Mundici

Logica: Metodo Breve

• Broschiertes Buch

Produktbeschreibung

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Goedel, Loewenheim-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.

Produktdetails

• UNITEXT 50
• Verlag: Springer / Springer Milan / Springer, Berlin
• Artikelnr. des Verlages: 978-88-470-1883-9
• 2011
• Seitenzahl: 144
• Erscheinungstermin: 10. Februar 2011
• Italienisch
• Abmessung: 235mm x 155mm x 9mm
• Gewicht: 244g
• ISBN-13: 9788847018839
• ISBN-10: 8847018838
• Artikelnr.: 32299698