Deduction systems - Socher-Ambrosius, Rolf (Graduate texts in computer science, 1997)