Title: Lógica: o cálculo sentencial
Subjects: Propositional calculus