Title: Introduction to mathematical logic
Subjects: Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Problems, exercises, Logique symbolique et mathe matique, Logique symbolique et mathématique