A Course on Mathematical Logic

• Κύριος συγγραφέας: Srivastava, Shashi Mohan (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY : Springer New York : Imprint: Springer, 2013.
• Έκδοση: 2nd ed. 2013.
• Σειρά: Universitext,
• Θέματα: Mathematics.; Mathematical logic.; Algebra.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should f...