Chapter 8
of
Logical Reasoning
Conditional Logic