Title: Logical works
Subjects: Symbolic and mathematical Logic