Title: A Concise Introduction to Mathematical Logic (Universitext)
Subjects: Symbolic and mathematical Logic, Computer science