Deduction Systems - Socher-Ambrosius, Rolf. (Graduate texts in computer science., 1996)