Title: Entailment, Vol. II
Subjects: Logic