Title: Elements of modern logic
Subjects: Logic