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

by Professor of Logic & Computation David J Pym and Lecturer in Computer Science Eike Ritter

0 ratings • 0 reviews • 0 shelved
Book cover for Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 1280847026
  • ISBN13 9781280847028
  • Publish Date 1 January 2004
  • Publish Status Active
  • Out of Print 17 February 2015
  • Publish Country US
  • Imprint Oxford University Press, USA
  • Format eBook
  • Pages 208
  • Language English