Title: A lógica na matemática
Subjects: Symbolic and mathematical Logic