Reductive logic and proof-search : proof theory, semantics, and control

Author(s)

• Pym, David J.
• Ritter, Eike

Bibliographic Information

Reductive logic and proof-search : proof theory, semantics, and control

David J. Pym and Eike Ritter

（Oxford logic guides, 45）

Clarendon Press , Oxford University Press, 2004

• : hbk

Note

Includes bibliographical references (p. [197]-204) and index

Details

• NCID: BA68255980
• ISBN:
  • 0198526334
• LCCN: 2004049208
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Oxford,New York
• Pages/Volumes: xv, 208 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00017765