Title: Logic: A Brief Course
Subjects: Mathematical Logic and Formal Languages, Symbolic and mathematical Logic, Computer science, Mathematics, Mathematical Logic and Foundations, Semantics