Title: Inductive logic
Subjects: Logic