Logic - Part First, Deduction door Alexander Bain