Title: An introduction to mathematical reasoning
Subjects: Mathematics, Problems, exercises, Symbolic and mathematical Logic