Title: A modern formal logic
Subjects: Logic