Bain, Alexander: Logic