Title: Foundations of formal logic
Subjects: Logic