Title: Mathematical Logic and Formal Systems (Lecture Notes in Pure and Applied Mathematics)
Subjects: Symbolic and mathematical Logic, Logique symbolique et mathematique, Logic, symbolic and mathematical, Formal languages