Title: Course of Mathematical Logic: Volume 2
Subjects: Logic, symbolic and mathematical