Title: A concise logic
Subjects: Logic