Proof Theory and Automated Deduction. Goubault-Larrecq, MacKie, G<|
Springer
Pages: 444, Edition: Softcover reprint of the original 1st ed. 1997, Paperback, Springer
Compare prices (2 shops)
| shop | Price | Action |
|---|---|---|
|
44,99 GBP | Go to shop |
|
58,11 GBP | Go to shop |