Title: Lógica, simbolização e dedução
Subjects: Logic, Problems, exercises, Symbolic and mathematical Logic