Title: Logic, form and function
Subjects: Form (Logic), Inference, Predicate calculus, Reasoning