Title: Selected works in logic
Subjects: Collected works, Symbolic and mathematical Logic