Title: Introduction to mathematical logic and its applications
Subjects: Symbolic and mathematical Logic