Implication And Linear Inference door Bernhard Bosanquet