Reductive logic and proof-search : proof theory, semantics, and control /
Pym, David J.
Ritter, Eike.
Oxford : Clarendon Press,
2004.
Includes bibliographical references and index.
Logic, Symbolic and mathematical.
Proof theory.