Title: A concise introduction to mathematical logic
Subjects: Symbolic and mathematical Logic, Logic, symbolic and mathematical, Mathematics, Computer science, Mathematical Logic and Foundations, Computational Science and Engineering