Admissibility of logical inference rules (Elsevier, 1997)
Includes bibliographical references (p. 603-617) and index