Reductive logic and proof search Proof theory semantics and control 1st Edition David J. Pym

Original price was: $50.00.Current price is: $35.00.

Reductive logic and proof search Proof theory semantics and control 1st Edition David J. Pym Digital Instant Download

Author(s): David J. Pym, Eike Ritter
ISBN(s): 9780198526339, 0198526334
Edition: 1
File Details: PDF, 1.81 MB
Year: 2004
Language: english