Implication And Linear Inference by Bernhard Bosanquet