Title: Art of Reasoning with Symbolic Logic
Subjects: Reasoning, Logic