Title: Studies and exercises in formal logic
Subjects: Logic