Deduction Systems - Socher-Ambrosius, Rolf. (Springer, 1996)
Includes bibliographical references & index.