Title: Handbook of Mathematical Logic
Subjects: Logic, symbolic and mathematical