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 |
Similar products
-
-
Set Theory and Logic: xv (Dover Books on MaTHEMA 1.4tics)
From 14,55 EUR -
Dice Deduction
From 14,99 EUR -
Dormer on Deduction
From 12,55 EUR -
-
Basic Proof Theory
From 45,85 EUR