Title: Notes for symbolic logic
Subjects: Symbolic and mathematical Logic