Reductive Logic and Proof-search Proof Theory, Semantics, and Control by Eike Ritter | Menrva Books

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.

Privacy Policy·Terms of Use

Reductive Logic and Proof-search Proof Theory, Semantics, and Control by Eike Ritter | Menrva Books

Reductive Logic and Proof-search Proof Theory, Semantics, and Control

Reductive Logic and Proof-search Proof Theory, Semantics, and Control

Eike Ritter

David J. Pym

0

0

Author Description

Page Count:
0

Publication Date:
2004-01-01

Publisher:
Oxford University Press, Incorporated

ISBN-10:
143562078X

ISBN-13:
9781435620780

Community Tags

Reader Comments

Share Your Thoughts

Be constructive and respectful

No comments yet. Be the first to share your thoughts!