×
  • Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

    David J. Pym

Click on cover to enlarge.
Buy This Book
From Amazon.
5 - 6Hours to read