Labelled Deduction - Basin, David (Applied Logic Series, 2000)