Mathematical logic developed into a broad discipline with many applications in mathematics, informatics, linguistics and philosophy. This text introduces the fundamentals of this field, and this new edition has been thoroughly expanded and revised.
A Concise Introduction to Mathematical Logic
A Course on Mathematical Logic
Introduction to Mathematical Logic (Universitext)
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
Mathematical Logic Foundations for Information Science
Introduction to Formal Philosophy
Sets, Models and Proofs
Introduction to Mathematical Logic, Third Edition