×
  • 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