Title: Contemporary logic
Subjects: Logic