Logica: Metodo Breve

• Κύριος συγγραφέας: Mundici, Daniele (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: Italian
• Έκδοση: Milano : Springer Milan : Imprint: Springer, 2011.
• Σειρά: UNITEXT, 1
• Θέματα: Mathematics.; Mathematical logic.; Semantics.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.
• Φυσική περιγραφή: XI, 126 pagg. online resource.
• ISBN: 9788847018846
• ISSN: 2038-5714 ;

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.