A Course on Mathematical Logic

• Main Author: Srivastava, Shashi Mohan. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: New York, NY : Springer New York : Imprint: Springer, 2013.
• Edition: 2nd ed. 2013.
• Series: Universitext,
• Subjects: Mathematics.; Computer science.; Algebra.; Logic, Symbolic and mathematical.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-4614-5746-6

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 Gd̲el<U+0019>s incompleteness theo...

Table of Contents:

• Preface
• 1 Syntax of First-Order Logic
• 2 Semantics of First-Order Languages
• 3 Propositional Logic
• 4 Completeness Theorem for First-Order Logic
• 5 Model Theory
• 6 Recursive Functions and Arithmetization of Theories
• 7 Incompleteness Theorems and Recursion Theory
• References
• Index.