Title: The mathematical analysis of logic
Subjects: Logic