Reductive logic and proof-search
Subtitle: proof theory, semantics, and control
By: David J. Pym and Eike Ritter.
Contributors: Ritter, Eike.
Series: Oxford logic guides -- 45
Publisher: Clarendon Press
Published: 2004
Place of publication: Oxford
Language: eng
Number of pages: 208
Subjects: Logic, Symbolic and mathematical.; Proof theory.
Notes: Includes bibliographical references and index.