Title: A Concise Introduction to Mathematical Logic (Universitext)
Subjects: Logic, symbolic and mathematical, Mathematics, Computer science, Symbolic and mathematical Logic, Mathematical Logic and Foundations, Computational Science and Engineering