Title: Pure logic, and other minor works
Subjects: Reasoning, Symbolic and mathematical Logic