Logica: Metodo Breve

TRAMA

Senza 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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9788847018839
• Collana: UNITEXT
• Dimensioni: 0 x 0 mm
• Formato: Brossura
• Illustration Notes: XI, 126 pagg.
• Pagine Arabe: 126
• Pagine Romane: xi