Logic - Part First, Deduction by Alexander Bain