Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.

David J. Pym , Eike Ritter
No ratings yet
2010 · English · eBook · 2 editions
Add To Shelf

Rate this book


Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review
Add To Shelf

Rate this book


Export Book Journal