Logic: A Brief Course

• Κύριος συγγραφέας: Mundici, Daniele (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Milano : Springer Milan : Imprint: Springer, 2012.
• Σειρά: UNITEXT,
• Θέματα: Mathematics.; Mathematical logic.; Semantics.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's c...